A state space decomposition algorithm for approximate FSM traversal

This publication has 9 references indexed in Scilit:

• Combinational profiles of sequential benchmark circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• ATPG aspects of FSM verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient implementation of a BDD package
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Implicit state enumeration of finite state machines using BDD's
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Sequential circuit verification using symbolic model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
• Algorithms for approximate FSM traversal
  Published by Association for Computing Machinery (ACM) ,1993
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• An Efficient Heuristic Procedure for Partitioning Graphs
  Bell System Technical Journal, 1970