CASTOR: state assignment in a finite state machine synthesis system

This publication has 7 references indexed in Scilit:

• System synthesis using behavioural descriptions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• NOVA: state assignment of finite state machines for optimal two-level logic implementations
  Published by Association for Computing Machinery (ACM) ,1989
• State assignment using a new embedding method based on an intersecting cube theory
  Published by Association for Computing Machinery (ACM) ,1989
• MIS: A Multiple-Level Logic Optimization System
  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
• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984
• Steuerwerke
  Published by Springer Nature ,1978