The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2001 vol.18)
pp: 26-35
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.
CITATION
Narayanan Krishnamurthy, Magdy S. Abadir, Andrew K. Martin, Jacob A. Abraham, "Design and Development Paradigm for Industrial Formal Verification CAD Tools", IEEE Design & Test of Computers, vol.18, no. 4, pp. 26-35, July/August 2001, doi:10.1109/54.936246
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool