Specification, Synthesis, and Verification of Hazard-Free Asynchronous Circuits

This publication has 11 references indexed in Scilit:

• Solving the state assignment problem for signal transition graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Optimized synthesis of asynchronous control circuits from graph-theoretic specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Automatic synthesis of asynchronous circuits from high-level specifications
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984
• On multiple-input change hazard-free combinational switching circuits without feedback
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1973
• Asynchronous sequential switching circuits with unrestricted input changes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1970
• Design of Asynchronous Circuits Assuming Unbounded Gate Delays
  IEEE Transactions on Computers, 1969
• Hazard Detection in Combinational and Sequential Switching Circuits
  IBM Journal of Research and Development, 1965