Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits
- 1 January 1997
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 728-733
- https://doi.org/10.1109/dac.1997.597241
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Early quantification and partitioned transition relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Improved reachability analysis of large finite state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification and synthesis of counters based on symbolic techniquesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-density reachability analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic model checking for sequential circuit verificationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991