A survey of techniques used in the synthesis of hardware from C/C++ as a part of hardware/software co-design | IEEE Conference Publication | IEEE Xplore