This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
November/December 2004 (vol. 21 no. 6)
pp. 504-512
Shuo Sheng, Mentor Graphics
Michael S. Hsiao, Virginia Tech
Editor's note: 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. —Carl Pixley, Synopsys
Citation:
Shuo Sheng, Michael S. Hsiao, "Success-Driven Learning in ATPG for Preimage Computation," IEEE Design & Test of Computers, vol. 21, no. 6, pp. 504-512, Nov.-Dec. 2004, doi:10.1109/MDT.2004.97
Usage of this product signifies your acceptance of the Terms of Use.