Automatic Lighthouse Generation for Directed State Space Search (2000) [5 citations — 1 self]
Download:
|
|
by Praveen Yalagandula, Vigyan Singhal, Adnan Aziz
in Design, Automation, and Test in
http://www.ece.utexas.edu/~adnan/publications/light-date-00.ps
Add To MetaCart
Abstract:
Previous researchers have suggested the use of "lighthouses " to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manually derive them, through a potentially laborious examination of the design. Additionally, specifying a large number of lighthouses results in wasted effort during the search. We present approaches to automatically generate high-quality lighthouses for hard-to-cover targets. 1
Citations
| 1128 | Symbolic Model Checking – McMillan - 1992 |
| 208 | GRASP - A New Search Algorithm for Satisfiability – Marques-Silva, Sakallah - 1996 |
| 168 | An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits – Goel - 1995 |
| 31 | Bug Identification of a Real Chip Design by Symbolic Model Checking – Chen, Yamazaki, et al. - 1994 |
| 18 | Enhancing simulation with bdds and atpg – Ganai, Aziz, et al. - 1999 |
