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 |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/DATE.2000.840045 | Paris |
Keywords | Field | DocType |
binary decision diagrams,finite state machines,logic simulation,state-space methods,BDDs,automatic lighthouse generation,directed state space search,finite state machines,hard-to-cover targets,state space methods,synchronous digital hardware | Drawback,Computer science,Interfacing,Real-time computing,Finite-state machine,State space search | Conference |
ISBN | Citations | PageRank |
0-7695-0537-6 | 8 | 0.55 |
References | Authors | |
3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Praveen Yalagandula | 1 | 1461 | 87.88 |
Vigyan Singhal | 2 | 961 | 86.42 |
Adnan Aziz | 3 | 1778 | 149.76 |