DocumentCode
1970381
Title
Automatic lighthouse generation for directed state space search
Author
Yalagandula, Praveen ; Singhal, Vigyan ; Aziz, Adnan
Author_Institution
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fYear
2000
fDate
2000
Firstpage
237
Lastpage
242
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
Keywords
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; Automatic test pattern generation; Boolean functions; Computational modeling; Data structures; Hardware; Proposals; Safety; Software testing; State-space methods; Test pattern generators;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings
Conference_Location
Paris
Print_ISBN
0-7695-0537-6
Type
conf
DOI
10.1109/DATE.2000.840045
Filename
840045
Link To Document