Issue No. 02 - March/April (2009 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2009.38
Kai-hui Chang , Avery Design Systems
David A. Papa , University of Michigan, Ann Arbor
Igor L. Markov , University of Michigan, Ann Arbor
Valeria Bertacco , University of Michigan, Ann Arbor
<p>Invers is a fast incremental-verification system for physical-synthesis optimization that includes capabilities for error detection, diagnosis, and visualization. Using a new metric called the similarity factor, Invers can help engineers identify potential errors earlier in development. Invers employs traditional verification only when necessary to ensure completeness of the verification flow. It also provides an error visualization interface to simplify error isolation and correction.</p>
D. A. Papa, I. L. Markov, V. Bertacco and K. Chang, "Incremental Verification with Error Detection, Diagnosis, and Visualization," in IEEE Design & Test of Computers, vol. 26, no. , pp. 34-43, 2009.