An Empirical Study of the Reliability of High-Level Synthesis Tools | IEEE Conference Publication | IEEE Xplore