A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Scalable Certification Framework for Behavioral Synthesis Front-End
2014
Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14
Behavioral synthesis entails application of a sequence of transformations to compile a high-level description of a hardware design (e.g., in C/C++/SystemC) into a register-transfer level (RTL) implementation. In this paper, we present a scalable equivalence checking framework to validate the correctness of compiler transformations employed by behavioral synthesis front-end. Our approach makes use of dual-rail symbolic simulation of the input and output of a transformation, together with
doi:10.1145/2593069.2593209
dblp:conf/dac/YangHCLRX14
fatcat:7yysj4cryndd5mvoz3z3yierqu