Article

Free access

Automatic lighthouse generation for directed state space search

Authors:

Praveen Yalagandula,

Vigyan Singhal,

Adnan AzizAuthors Info & Claims

DATE '00: Proceedings of the conference on Design, automation and test in Europe

Pages 237 - 242

https://doi.org/10.1145/343647.343771

Published: 01 January 2000 Publication History

PDF eReader Publisher Site

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.

Crossref

Google Scholar

[2]

M. Ganai, A. Aziz, and A. Kuehlmann. Enhancing Simulation with BDDs and ATPG. In Proc. of the Design Automation Conf., New Orleans, LA, June 1999.

Digital Library

Google Scholar

[3]

E Goel. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits. IEEE Transactions on Computers, C-31:215-222, 1981.

Google Scholar

[4]

Kenneth L. McMillan. Symbolic Model Checking. K- luwer Academic Publishers, 1993.

Digital Library

Google Scholar

[5]

J. Silva and K. Sakallah. GRASP-A New Search Algorithm For Satisfiability. In Proc. Intl. Conf. on Computer-Aided Design, Santa Clara, CA, November 1996.

Digital Library

Google Scholar

Cited By

View all

Agbaria SCarmi DCohen OKorchemny DLifshits MNadel ABloem RSharygina N(2010)SAT-based semiformal verification of hardwareProceedings of the 2010 Conference on Formal Methods in Computer-Aided Design10.5555/1998496.1998505(25-32)Online publication date: 20-Oct-2010
https://dl.acm.org/doi/10.5555/1998496.1998505
Tiwari PMitra R(2007)Hybrid Verification of Protocol BridgesIEEE Design & Test10.1109/MDT.2007.4724:2(124-131)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1109/MDT.2007.47
Bhadra JAbadir MWang LRay S(2007)A Survey of Hybrid Techniques for Functional VerificationIEEE Design & Test10.1109/MDT.2007.3024:2(112-122)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1109/MDT.2007.30
Show More Cited By

Index Terms

Automatic lighthouse generation for directed state space search
1. Hardware
  1. Hardware test
  2. Robustness
    1. Hardware reliability

Recommendations

Fully automatic wrapper generation for search engines
WWW '05: Proceedings of the 14th international conference on World Wide Web

When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link to and/or snippet of a retrieved Web page. In addition, such a result ...
Generation of search state equivalence for automatic test pattern generation
VLSID '95: Proceedings of the 8th International Conference on VLSI Design

We present a generalization of the equivalent search state (EST) approach for test generation. A search state represents the current search status based on prior search decisions. The generalized EST identifies 56% more previously-searched decision ...
Automatic Ontology Generation Using Extended Search Keywords
NWESP '08: Proceedings of the 2008 4th International Conference on Next Generation Web Services Practices

Ontology, the core of semantic web, is usually limited by specific domain or created by given meaning passively. But, the generation of ontology is not only very difficult but also taking very long time. Therefore, the automatic generation of ontology ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '00: Proceedings of the conference on Design, automation and test in Europe

January 2000

707 pages

ISBN:1581132441

DOI:10.1145/343647

Chairman:
Ivo Bolsens
IMEC, Leuven, Belgium

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DATE00

Sponsor:

EDAA
EDAC
SIGDA
IEEE-CS
IFIP
The Russian Academy of Sciences

DATE00: Design Automation and Test in Europe

March 27 - 30, 2000

Paris, France

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
212
Total Downloads

Downloads (Last 12 months)37
Downloads (Last 6 weeks)10

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Agbaria SCarmi DCohen OKorchemny DLifshits MNadel ABloem RSharygina N(2010)SAT-based semiformal verification of hardwareProceedings of the 2010 Conference on Formal Methods in Computer-Aided Design10.5555/1998496.1998505(25-32)Online publication date: 20-Oct-2010
https://dl.acm.org/doi/10.5555/1998496.1998505
Tiwari PMitra R(2007)Hybrid Verification of Protocol BridgesIEEE Design & Test10.1109/MDT.2007.4724:2(124-131)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1109/MDT.2007.47
Bhadra JAbadir MWang LRay S(2007)A Survey of Hybrid Techniques for Functional VerificationIEEE Design & Test10.1109/MDT.2007.3024:2(112-122)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1109/MDT.2007.30
Shyam SBertacco VGielen G(2006)Distance-guided hybrid verification with GUIDOProceedings of the conference on Design, automation and test in Europe: Proceedings10.5555/1131481.1131816(1211-1216)Online publication date: 6-Mar-2006
https://dl.acm.org/doi/10.5555/1131481.1131816
Shyam SBertacco V(2006)Distance-Guided Hybrid Verification with GUIDOProceedings of the Design Automation & Test in Europe Conference10.1109/DATE.2006.244050(1-6)Online publication date: 2006
https://doi.org/10.1109/DATE.2006.244050
Pastor EPeña M(2003)Efficient Hybrid Reachability Analysis for Asynchronous Concurrent SystemsCorrect Hardware Design and Verification Methods10.1007/978-3-540-39724-3_33(378-393)Online publication date: 2003
https://doi.org/10.1007/978-3-540-39724-3_33
Ganai MAziz ARoy KKang SKoh C(2001)Rarity based guided state space searchProceedings of the 11th Great Lakes symposium on VLSI10.1145/368122.368878(97-102)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1145/368122.368878

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Fully automatic wrapper generation for search engines

Generation of search state equivalence for automatic test pattern generation

Automatic Ontology Generation Using Extended Search Keywords