Direct synthesis of timed asynchronous circuits

This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a deterministic graph specification with timing constraints. A timing analysis extracts the timed concurrency and timed causality relations between any two signal transitions. Then, a hazardfree implementation of the specification is synthesized by analyzing precedence graphs which are constructed by using the timed concurrency and timed causality relations. The major result of this work is that the method does not suffer from the state explosion problem, achieves significant reductions in synthesis time, and generates synthesized circuits that have nearly the same area as compared to previous timed circuit methods. In particular, this paper shows that a timed circuit -- not containing circuit hazards under given timing constraints -- can be found by using the relations between signal transitions of the specifi...

• Type: Conference
• Year: 1999
• Where: ICCAD
• Authors: Sung Tae Jung, Chris J. Myers
• Keywords: Hardware, ICCAD 1999, Timed Asynchronous Circuits, Timed Circuit, Timed Concurrency