The Community for Technology Leaders
Green Image
ABSTRACT
CAD tool designers have given priority to providing features that will let circuit and logic designers use this custom-memory formal verification and analysis tool without a steep learning curve.
INDEX TERMS
CITATION
Magdy S. Abadir, Jacob A. Abraham, Narayanan Krishnamurthy, Andrew K. Martin, "Design and Development Paradigm for Industrial Formal Verification CAD Tools", IEEE Design & Test of Computers, vol. 18, no. , pp. 26-35, July/August 2001, doi:10.1109/54.936246
90 ms
(Ver )