The Community for Technology Leaders
Green Image
Issue No. 02 - March/April (2009 vol. 26)
ISSN: 0740-7475
pp: 34-43
David A. Papa , University of Michigan, Ann Arbor
Igor L. Markov , University of Michigan, Ann Arbor
Valeria Bertacco , University of Michigan, Ann Arbor
Kai-hui Chang , Avery Design Systems
ABSTRACT
<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>
INDEX TERMS
CITATION
David A. Papa, Igor L. Markov, Valeria Bertacco, Kai-hui Chang, "Incremental Verification with Error Detection, Diagnosis, and Visualization", IEEE Design & Test of Computers, vol. 26, no. , pp. 34-43, March/April 2009, doi:10.1109/MDT.2009.38
96 ms
(Ver )