State enumeration with abstract descriptions of state machines

This publication has 16 references indexed in Scilit:

• ATPG aspects of FSM verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A unified framework for the formal verification of sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• Automated verification of behavioral equivalence for microprocessors
  IEEE Transactions on Computers, 1994
• Structuring and automating hardware proofs in a higher-order theorem-proving environment
  Formal Methods in System Design, 1993
• Automated high-level verification against clocked algorithmic specifications
  Published by Elsevier ,1993
• Formal hardware verification methods: A survey
  Formal Methods in System Design, 1992
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986