A divide-and-conquer-based algorithm for automatic simulation vector generation

IEEE Design and Test of Computers

Volumn 21, Issue 2, 2004, Pages 111-120

  Yen, Chia Chih ^a   Jou, Jing Yang ^a   Chen, Kuang Chien ^b  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SIMULATION; VECTOR GENERATION;

ALGORITHMS; DESIGN FOR TESTABILITY; ENGINEERS; STATE SPACE METHODS;

COMPUTER SIMULATION;

EID: 1942500434     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2004.1277903     Document Type: Article

References (10)

1. J. Bergeron, Writing Testbenches: Functional Verification of HDL Models, Kluwer Academic, 2000.
2. K. Ravi and F. Somenzi, "High-Density Reachability Analysis," Proc. Int'l Conf. Computer-Aided Design (ICCAD 95), IEEE CS Press, 1995, pp. 154-158.
3. R. Ho and M. Horowitz, "Validation Coverage Analysis for Complex Digital Designs," Proc. Int'l Conf. Computer-Aided Design (ICCAD 96), IEEE CS Press, 1996, pp. 146-151.
4. J.P. Bergmann and M.A. Horowitz, "Improving Coverage Analysis and Test Generation for Large Designs," Proc. Int'l Conf. Computer-Aided Design (ICCAD 99), ACM Press, 1999, pp. 580-583.
5. F. Fallah, P. Ashar, and S. Devadas, "Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage," Proc. 36th Design Automation Conf. (DAC 99), ACM Press, 1999, pp. 666-671.
6. F. Fallah, S. Devadas, and K. Keutzer, "Functional Vector Generation for HDL Models Using Linear Programming and Boolean Satisfiability," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 20, no. 8, Aug. 2001, pp. 994-1002.
7. M.K. Ganai, A. Aziz, and A. Kuehlmann, "Enhancing Simulation with BDDs and ATPG," Proc. 36th Design Automation Conf. (DAC 99), ACM Press, 1999, pp. 385-390.
8. P.-H. Ho et al., "Smart Simulation Using Collaborative Formal and Simulation Engines," Proc. Int'l Conf. Computer-Aided Design (ICCAD 01), ACM Press, 2000, pp. 120-126.
9. A. Aziz et al., "Examples of HW Verification Using VIS," http://www-cad.eecs.berkeley.edu/Respep/Research/Vis/texas-97.
10. J.P. Marques-Silva and K.A. Sakallah, "Grasp: A Search Algorithm for Propositional Satisfiability," IEEE Trans. Computers, vol. 48, no. 5, May 1999, pp. 506-521.