Title :
Relative timing [asynchronous design]
Author :
Stevens, Kenneth S. ; Ginosar, Ran ; Rotem, Shai
Author_Institution :
Strategic CAD Labs., Intel Corp., Hillsboro, OR, USA
Abstract :
Relative timing (RT) is introduced as a method for asynchronous design. Timing requirements of a circuit are made explicit using relative timing. Timing can be directly added, removed, and optimized using this style. RT synthesis and verification are demonstrated on three example circuits, facilitating transformations from speed-independent circuits to burst-mode and pulse-mode circuits. Relative timing enables improved performance, area, power, and functional testability of up to a factor of 3/spl times/ in all three cases. This method is the foundation of optimized timed circuit designs used in an industrial test chip, and may be formalized and automated.
Keywords :
asynchronous circuits; formal verification; graph theory; integrated circuit design; integrated logic circuits; logic design; low-power electronics; timing; RT synthesis; RT verification; asynchronous design; burst-mode circuits; dynamic logic circuit; functional testability; low-power design; performance tradeoffs; pulse-mode circuits; relative timing method; Asynchronous circuits; Circuit synthesis; Circuit testing; Clocks; Delay; Design automation; Design methodology; Logic circuits; Pulse circuits; Timing;
Journal_Title :
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on
DOI :
10.1109/TVLSI.2002.801606