The maximum set of permissible behaviors for FSM networks

This publication has 8 references indexed in Scilit:

• Methods for automatic design error correction in sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Don't care sequences and the optimization of interacting finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Incremental synthesis for engineering changes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Approaches to multi-level sequential logic synthesis
  Published by Association for Computing Machinery (ACM) ,1989
• The transduction method-design of logic networks based on permissible functions
  IEEE Transactions on Computers, 1989
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The Simplification of Sequential Machines with Input Restrictions
  IEEE Transactions on Computers, 1972