The Community for Technology Leaders
Green Image
Issue No. 06 - November/December (2004 vol. 21)
ISSN: 0740-7475
pp: 504-512
Shuo Sheng , Mentor Graphics
Michael S. Hsiao , Virginia Tech
<it>Editor's note:</it> Unbounded model checking fundamentally requires either image or preimage calculations. This article introduces a hybrid method for making preimage calculations using ATPG and binary decision diagrams (BDDs). Experimental results show that the proposed method achieves a speedup of two to three orders of magnitude over pure ATPG methods. —<it>Carl Pixley, Synopsys</it>

S. Sheng and M. S. Hsiao, "Success-Driven Learning in ATPG for Preimage Computation," in IEEE Design & Test of Computers, vol. 21, no. , pp. 504-512, 2004.
84 ms
(Ver 3.3 (11022016))