The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

C. Pixley, "Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits," in IEEE Design & Test of Computers, vol. 18, no. , pp. 4-5, 2001.
doi:10.1109/MDT.2001.936243
89 ms
(Ver 3.3 (11022016))