Incremental Verification with Error Detection, Diagnosis, and Visualization
Kai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco · IEEE Design & Test of Computers · 2009
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.