Automatic lighthouse generation for directed state space search

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2000, Pages 237-242

  Yalagandula, Praveen ^a   Singhal, Vigyan ^b   Aziz, Adnan ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b Tempus Fugit Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH QUALITY; STATE SPACE SEARCH;

DESIGN; EXHIBITIONS; NAVIGATION;

LIGHTHOUSES;

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

References (5)

1. B. Chen, M. Yamazaki, and M. Fujita. Bug Identification of a Real Chip Design by Symbolic Model Checking. In Proc. European Conf. on Design Automation, pages 132-136, March 1994.
2. M. Ganai, A. Aziz, and A. Kuehlmann. Enhancing Simulation with BDDs and ATPG. In Proc. of the Design Automation Conf., New Orleans, LA, June 1999.
3. P. Goel. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits. IEEE Transactions on Computers, C-31:215-222, 1981.
4. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
5. J. Silva and K. Sakallah. GRASP-A New Search Algorithm For Satisfiability. In Proc. Intl. Conf. on Computer-Aided Design, Santa Clara, CA, November 1996.