Decomposition and factorization of sequential finite state machines

This publication has 14 references indexed in Scilit:

• Addendum to 'A kernel-finding state assignment algorithm for multi-level logic'
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• ASYL: A Rule-Based System for Controller Synthesis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Symbolic Design of Combinational and Sequential Logic Circuits Implemented by Two-Level Logic Macros
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1986
• An implementation of a state assignment heuristic
  Published by Association for Computing Machinery (ACM) ,1986
• Optimal State Assignment for Finite State Machines
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
• An Algorithm for Finding Secondary Assignments of Synchronous Sequential Circuits
  IEEE Transactions on Computers, 1968
• Some Techniques of State Assignment for Synchronous Sequential Machines
  IEEE Transactions on Electronic Computers, 1964
• Secondary State Assignment for Sequential Machines
  IEEE Transactions on Electronic Computers, 1964
• The Cascade Decomposition of Sequential Machines
  IEEE Transactions on Electronic Computers, 1961