A study of high-level synthesis: Promises and challenges | IEEE Conference Publication | IEEE Xplore