The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (2009 vol. 26)
ISSN: 0740-7475
pp: 88-95
Anmol Mathur , Calypto Design Systems
Edmund Clarke , Carnegie Mellon University
Masahiro Fujita , University of Tokyo
Pascal Urard , STMicroelectronics
ABSTRACT
<p>Editor's note:</p><p>High-level synthesis facilitates the use of formal verification methodologies that check the equivalence of the generated RTL model against the original source specification. The article provides an overview of sequential equivalence checking techniques, its challenges, and successes in real-world designs.</p><p align="right">&#x2014;Andres Takach, Mentor Graphics</p>
INDEX TERMS
system-level model, sequential equivalence, functional equivalence, design and test, formal analysis, correctness
CITATION
Anmol Mathur, Edmund Clarke, Masahiro Fujita, Pascal Urard, "Functional Equivalence Verification Tools in High-Level Synthesis Flows", IEEE Design & Test of Computers, vol. 26, no. , pp. 88-95, July/August 2009, doi:10.1109/MDT.2009.79
104 ms
(Ver 3.1 (10032016))