Automatic lighthouse generation for directed state space search

Authors:
Praveen Yalagandula;Vigyan Singhal;Adnan Aziz
Affiliations:
ECE Department, The University of Texas, Austin, TX;Tempus Fugit, Inc., 525 Curtis St, Albany, CA;ECE Department, The University of Texas, Austin, TX
Venue:
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Year:
2000

GRASP—a new search algorithm for satisfiability

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Enhancing simulation with BDDs and ATPG

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Symbolic Model Checking

Symbolic Model Checking

Rarity based guided state space search

GLSVLSI '01 Proceedings of the 11th Great Lakes symposium on VLSI
Distance-guided hybrid verification with GUIDO

Proceedings of the conference on Design, automation and test in Europe: Proceedings
A Survey of Hybrid Techniques for Functional Verification

IEEE Design & Test
Hybrid Verification of Protocol Bridges

IEEE Design & Test
SAT-based semiformal verification of hardware

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

Hi-index	0.00