Efficient preimage computation using a novel success-driven ATPG

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 822-827

  Sheng, Shuo ^a   Hsiao, Michael ^b  

^a RUTGERS UNIVERSITY   (United States)

^b VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALL SOLUTIONS; FORMAL VERIFICATIONS; LARGE DESIGNS; ON THE FLIES; PREIMAGE COMPUTATION; PREIMAGES; SEARCH SPACES; SYMBOLIC METHODS;

EXHIBITIONS;

DESIGN;

EID: 84893723459     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253708     Document Type: Conference Paper

References (15)

1. M. Abramovici, M.A. Breuer and A.D. Friedman, Digital Systems Testing and Testable Design, IEEE Press, 1990
2. M.H. Schulz, E. Trischler and T.M. Sarfert, SOCRATES: A Highly Efficient Automatic Test Pattern Generation System, IEEE Trans. CAD, vol.7, no.1, pp. 126-137, 1988
3. J.P. Marques-Silva and K.A. Sakallah, GRASP: A Search Algorithm for Propositional Satisfiability, IEEE Trans. Computers, vol. 48, no. 5, pp. 506-521, May, 1999
4. L. Zhang, C.F. Madigan, M.H. Moskewicz and S. Malik, Efficient Conflict Driven Learning in a Boolean Satisfiability Solver, Proc. ICCAD, 2001, pp. 279-285
5. J.M. Burch, E.M. Clarke, D.E. Long, Representing Circuits More Efficiently in Symbolic Model Checking, Proc. DAC, 1991, pp. 403-407
6. N. Narayan, J. Jain, M. Fujita, A. Sangiovanni-Vincentelli, Partitioned ROBDDs: A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions, Proc. ICCAD, 1996, pp. 547-554
7. A. Gupta, Z. Yang, P. Ashar and A. Gupta, SAT-based Image Computation with Application in Reachability Analysis, Proc. FMCAD, 2000
8. A. Gupta, Z. Yang, P. Ashar, L. Zhang, and S. Malik, Partition-Based Decision Heuristics for Image Computation using SAT and BDDs, Proc. ICCAD, 2001, pp. 286-292
9. K.L. McMillan, Applying SATmethods in Unbounded Symbolic Model Checking, Proc. CAV, 2002
10. L. Zhang and S. Malik, Towards Symmetric Treatment of Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver, Proc. 8th Intl. Conf. on Principles and Practice of Constraint Programming (CP2002), 2002
11. J.P. Marques and K.A. Sakallah, Dynamic Search-Space Pruning Techniques in Path Sensitization, Proc. DAC, 1994
12. I. Hamzaoglu and J.H. Patel, New Techniques for Deterministic Test Pattern Generation, Proc. VTS, 1998, pp. 446-452
13. J. Giraldi and M.L. Bushnell, EST: The New Frontier in ATPG, Proc. DAC, 1990, pp. 667-672
14. P. Chung, I.N. Hajj and J.H. Patel, Efficient Variable Ordering Heuistics for Shared ROBDD, Proc. ISCAS, 1993, pp. 1690-1693
15. H. Iwashita and T. Nakata, Forward Model Checking Techniques Oriented to Buggy Designs, Proc. ICCAD, pp.400-404, Nov. 1997