Advanced Verification Techniques Based on Learning
- 1 December 1995
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the 39th conference on Design automation - DAC '02
- No. 0738100X,p. 420-426
- https://doi.org/10.1109/dac.1995.249984
Abstract
Design verification poses a very practical problem during circuit synthesis. Learning based verification techniques prove to be an attractive option for verifying two circuits with internal gates having simple functional relationships. We present a verification method which employs a learning technique based on symbolic manipulation and which can more efficiently learn indirect implications. The method can also learn some useful functional implications. We also present a framework in which an indirect implication technique is integrated with an OBDD based verification tool. We present highly efficient verification results on some ISCAS circuits as well as on some very hard industrial circuits.Keywords
This publication has 13 references indexed in Scilit:
- Recursive Learning: An attractive alternative to the decision tree for test generation in digital ciPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Evaluation and improvement of Boolean comparison method based on binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Sequential logic optimization by redundancy addition and removalPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HANNIBAL: An efficient tool for logic verification based on recursive learningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Dynamic variable ordering for ordered binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Functional learning: a new approach to learning in digital circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tautology checking using cross-controllability and cross-observability relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Heuristic minimization of BDDs using don't caresPublished by Association for Computing Machinery (ACM) ,1994
- SOCRATES: a highly efficient automatic test pattern generation systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986