Synthesis of hazard-free control circuits from asynchronous finite state machines specifications

This publication has 14 references indexed in Scilit:

• Solving the state assignment problem for signal transition graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• CLASS: a CAD system for automatic synthesis and verification of asynchronous finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A new state assignment technique for asynchronous finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatic synthesis of locally-clocked asynchronous state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Optimized synthesis of asynchronous control circuits from graph-theoretic specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Algorithms for synthesis of hazard-free asynchronous circuits
  Published by Association for Computing Machinery (ACM) ,1991
• Automatic synthesis of asynchronous circuits from high-level specifications
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• The Design of an Asynchronous Microprocessor
  Published by Defense Technical Information Center (DTIC) ,1989
• Compiling communicating processes into delay-insensitive VLSI circuits
  Distributed Computing, 1986
• Internal State Assignments for Asynchronous Sequential Machines
  IEEE Transactions on Electronic Computers, 1966