Title of article
Success-Driven Learning in ATPG for Preimage Computation
Author/Authors
Shuo Sheng Michael S. Hsiao ، نويسنده , , Mentor Graphics Michael S. Hsiao، نويسنده , , Virginia Tech ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
9
From page
504
To page
512
Abstract
Unbounded model checking fundamentally requires either image or preimage calculations. We introduce 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.
Journal title
IEEE Design and Test of Computers
Serial Year
2004
Journal title
IEEE Design and Test of Computers
Record number
431536
Link To Document