id: 05094161
dt: j
an: 05094161
au: Sheng, Shuo; Hsiao, Michael S.
ti: Success-Driven Learning in ATPG for Preimage Computation.
so: IEEE Design and Test of Computers 21, No.06, 504-512 (2004).
py: 2004
pu: IEEE Computer Society
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/MDT.2004.97
ab: Summary: 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
rv: