Automatic lighthouse generation for directed state space search

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic lighthouse generation for directed state space search

Full text

Publisher Site , Pdf

Pdf (94 KB)

Source

Design, Automation, and Test in Europe archive
Proceedings of the conference on Design, automation and test in Europe table of contents

Paris, France

Pages: 237 - 242

Year of Publication: 2000

ISBN:1-58113-244-1

Authors

Praveen Yalagandula	ECE Department, The University of Texas, Austin, TX
Vigyan Singhal	Tempus Fugit, Inc., 525 Curtis St, Albany, CA
Adnan Aziz	ECE Department, The University of Texas, Austin, TX

Sponsors

EDAA : European Design Automation Association
SIGDA: ACM Special Interest Group on Design Automation
ECSI :
RAS : RAS
EDAC : Electronic Design Automation Consortium
IEEE-CS : Computer Society
IFIP : International Federation for Information Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 8, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/343647.343771 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. Chen, M. Yamazaki, and M. Fujita. Bug Identification of a Real Chip Design by Symbolic Model Checking. In Proc. European Conf. on Design Automation, pages 132-136, March 1994.
	2	Malay K. Ganai , Adnan Aziz , Andreas Kuehlmann, Enhancing simulation with BDDs and ATPG, Proceedings of the 36th ACM/IEEE conference on Design automation, p.385-390, June 21-25, 1999, New Orleans, Louisiana, United States [doi>10.1145/309847.309965]
	3	E Goel. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits. IEEE Transactions on Computers, C-31:215-222, 1981.
	4	Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
	5	João P. Marques Silva , Karem A. Sakallah, GRASP—a new search algorithm for satisfiability, Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, p.220-227, November 10-14, 1996, San Jose, California, United States

CITED BY 4

	Malay K. Ganai , Adnan Aziz, Rarity based guided state space search, Proceedings of the 11th Great Lakes symposium on VLSI, p.97-102, March 2001, West Lafayette, Indiana, United States
	Smitha Shyam , Valeria Bertacco, Distance-guided hybrid verification with GUIDO, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany
	Praveen Tiwari , Raj S. Mitra, Hybrid Verification of Protocol Bridges, IEEE Design & Test, v.24 n.2, p.124-131, March 2007
	Jayanta Bhadra , Magdy S. Abadir , Li-C. Wang , Sandip Ray, A Survey of Hybrid Techniques for Functional Verification, IEEE Design & Test, v.24 n.2, p.112-122, March 2007