ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Rarity based guided state space search
Full text PdfPdf (589 KB)
Source Great Lakes Symposium on VLSI archive
Proceedings of the 11th Great Lakes symposium on VLSI table of contents
West Lafayette, Indiana, United States
Pages: 97 - 102  
Year of Publication: 2001
ISBN:1-58113-351-0
Authors
Malay K. Ganai  Electrical and Computer Engineering, The University of Texas at Austin
Adnan Aziz  Electrical and Computer Engineering, The University of Texas at Austin
Sponsor
SIGDA: ACM Special Interest Group on Design Automation
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 0,   Downloads (12 Months): 10,   Citation Count: 2
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/368122.368878
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
Robert K. Brayton , Gary D. Hachtel , Alberto L. Sangiovanni-Vincentelli , Fabio Somenzi , Adnan Aziz , Szu-Tsung Cheng , Stephen A. Edwards , Sunil P. Khatri , Yuji Kukimoto , Abelardo Pardo , Shaz Qadeer , Rajeev K. Ranjan , Shaker Sarwary , Thomas R. Shiple , Gitanjali Swamy , Tiziano Villa, VIS: A System for Verification and Synthesis, Proceedings of the 8th International Conference on Computer Aided Verification, p.428-432, August 03, 1996
 
2
J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , L. J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, v.98 n.2, p.142-170, June 1992  [doi>10.1016/0890-5401(92)90017-A]
 
3
David L. Dill, The Murphi Verification System, Proceedings of the 8th International Conference on Computer Aided Verification, p.390-393, August 03, 1996
 
4
Andreas Kuehlmann , Kenneth L. McMillan , Robert K. Brayton, Probabilistic state space search, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.574-579, November 07-11, 1999, San Jose, California, United States
5
Roderick Bloem , Kavita Ravi , Fabio Somenzi, Symbolic guided search for CTL model checking, Proceedings of the 37th conference on Design automation, p.29-34, June 05-09, 2000, Los Angeles, California, United States  [doi>10.1145/337292.337306]
6
C. Han Yang , David L. Dill, Validation with guided search of the state space, Proceedings of the 35th annual conference on Design automation, p.599-604, June 15-19, 1998, San Francisco, California, United States  [doi>10.1145/277044.277201]
7
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]
8
Praveen Yalagandula , Vigyan Singhal , Adnan Aziz, Automatic lighthouse generation for directed state space search, Proceedings of the conference on Design, automation and test in Europe, p.237-242, March 27-30, 2000, Paris, France  [doi>10.1145/343647.343771]
 
9
M. K. Ganai and A. Aziz. Enhancements to Invariant Verification Using SIVA. In Proc. Intl. Workshop on High Level Design Validation and Test, San Diego, California, November 1999.
 
10
Hyunwoo Cho , Gary D. Hachtel , Enrico Macii , Massimo Poncino , Fabio Somenzi, A Structural Approach to State Space Decomposition for Approximate Reachability Analysis, Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, p.236-239, October 10-12, 1994
 
11
F. Brglez, D. Bryan, and K. Kozminski. Combinational Profiles of Sequential Benchmark Circuits. In Proc. Intl. Symposium on Circuits and Systems, pages 1929-1934, 1989.

CITED BY  2
Flavio M. De Paula , Alan J. Hu, An effective guidance strategy for abstraction-guided simulation, Proceedings of the 44th annual conference on Design automation, June 04-08, 2007, San Diego, California
Sriram Sankaranarayanan , Richard M. Chang , Guofei Jiang , Franjo Ivancic, State space exploration using feedback constraint generation and Monte-Carlo sampling, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.3 Information Search and Retrieval
          Subjects: Retrieval models

Additional Classification:
  B. Hardware
  B.3 MEMORY STRUCTURES
      B.3.0 General

  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Sorting and searching


General Terms:
Algorithms, Design, Performance


Keywords:
BDDs, coverage, formal methods, functional verification, simulation

Collaborative Colleagues:
Malay K. Ganai: colleagues
Adnan Aziz: colleagues

Peer to Peer - Readers of this Article have also read:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player