IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2003 · 80 citations · 28 references
EngineeringComputer EngineeringElectrical EngineeringHardware-software Co-designLow-power DesignMicroelectronicsDelay ModelingDesign For TestabilityLow-power Digital Circuit DesignTiming AnalysisTiming ModelingAsynchronous Circuit DesignAsynchronous Digital Circuit DesignTestabilityTimingTiming Optimization
Relative timing (RT) is a method for asynchronous design. RT makes timing requirements explicit and allows them to be added, removed, and optimized directly. RT synthesis and verification on three example circuits demonstrate up to three‑fold improvements in performance, area, power, and testability, and serve as the foundation for optimized timed designs in an industrial test chip that could be formalized and automated.
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.
28
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations
Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations
Ivan E. Sutherland · Communications of the ACM · 1989 · 1K citations · Full text
Asynchronous design methodologies: an overview
Scott Hauck · Proceedings of the IEEE · 1995 · 545 citations
Engineering, Computer Engineering, Electrical Engineering +12