Signal transition graph constraints for speed-independent circuit synthesis
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1686-1689 vol.3
- https://doi.org/10.1109/iscas.1993.394066
Abstract
The synthesis of asynchronous circuits is difficult in VLSI design. Transition based specification such as signal transition graphs (STGs) are simple and powerful in specifying and synthesizing asynchronous behavior. A relationship is established between the signal transition graph syntactic constraints, i.e., persistency and complete state coding (CSC). A direct proof is presented which shows that a persistency violation either does not affect hazards or, if it does, there results a complete state coding violation. The authors' results give the conditions under which a persistency violation may lead to a complete state coding violation.Keywords
This publication has 1 reference indexed in Scilit:
- Automatic synthesis of asynchronous circuits from high-level specificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989