Issue No. 06 - November/December (2004 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2004.97
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.