Signal Transition Graph Constraints For Synthesis Of Hazard Free Asynchronous Circuits With Unbounded Gate Delays

Download or read book Signal Transition Graph Constraints for Synthesis of Hazard-free Asynchronous Circuits with Unbounded-gate Delays written by Radhakrishna Nagalla and published by . This book was released on 1993 with total page 34 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "A synthesis procedure for asynchronous control circuits from a high level specification, signal transition graph (STG), is described. In this paper, we propose some syntactic constraints on STG to guarantee hazard-free implementation. We have introduced a global persistency concept in order to establish the relationship between the persistency concept introduced by Chu [2] (which we call local persistency) and the consistent state coding (CSC). The STG syntactic constraints required to compute the input set of a signal are identified. We analyze all hazards under both single and multiple input change conditions and propose necessary changes to the net contraction and logic synthesis procedures. The proposed changes are guaranteed to generate hazard-free circuits with the unbounded-gate delay model, if the STG is live, safe and has consistent state coding."