The Community for Technology Leaders
RSS Icon
Issue No.06 - November/December (2004 vol.21)
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>
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, November/December 2004, doi:10.1109/MDT.2004.97
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool