The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Carl Pixley, "Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits", IEEE Design & Test of Computers, vol. 18, no. , pp. 4-5, July/August 2001, doi:10.1109/MDT.2001.936243
100 ms
(Ver )