Published Articles >> Table of Contents >> Abstract

Design, Automation and Test in Europe (DATE '00)   p. 237
Automatic Lighthouse Generation for Directed State Space Search
Praveen Yalagandula, University of Texas at Austin
Adnan Aziz, University of Texas at Austin
Vigyan Singhal, Tempus Fugit Incorporated

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840045
Send link to a friend

Abstract
Previous researchers have suggested the use of "light-houses" 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.
Back to Top Additional Information
Citation:  Praveen Yalagandula, Adnan Aziz, Vigyan Singhal, "Automatic Lighthouse Generation for Directed State Space Search," date, p. 237,  Design, Automation and Test in Europe (DATE '00),  2000