Enhancing FSM traversal by temporary re-encoding
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Exploiting cofactoring for efficient FSM symbolic traversal based on the transition relationPublished 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
- Implicit state enumeration of finite state machines using BDD'sPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- High-density reachability analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algorithms for approximate FSM traversalPublished by Association for Computing Machinery (ACM) ,1993
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991