Nondeterministic finite-state machines and sequential don't cares

This publication has 9 references indexed in Scilit:

• The Princeton University behavioral synthesis system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Control optimization in high-level synthesis using behavioral don't cares
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Scheduling with environmental constraints based on automata representations
  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
• Retiming and resynthesis: optimizing sequential networks with combinational techniques
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• Optimizing interacting finite state machines using sequential don't cares
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• The transduction method-design of logic networks based on permissible functions
  IEEE Transactions on Computers, 1989
• The Simplification of Sequential Machines with Input Restrictions
  IEEE Transactions on Computers, 1972
• A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential Networks
  IEEE Transactions on Electronic Computers, 1965