Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Electrical & Computer Engineering |
Creator |
Stevens, Kenneth |
Other Author |
Cortadella, Jordi; Kishinevsky, Michael; Burns, Steven M.; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alexander |
Title |
Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions |
Date |
2002 |
Description |
This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. Lazy transition systems can be effectively used to model the behavior of asynchronous circuits in which relative timing assumptions can be made on the occurrence of events. These assumptions can be derived from the information known a priori about the delay of the environment and the timing characteristics of the gates that will implement the circuit. The paper presents necessary conditions to generate circuits and a synthesis algorithm that exploits the timing assumptions for optimization. It also proposes a method for back-annotation that derives a set of sufficient timing constraints that guarantee the correctness of the circuit. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
Volume |
21 |
Issue |
2 |
First Page |
109 |
Last Page |
130 |
Language |
eng |
Bibliographic Citation |
Cortadella, J., Kishinevsky, M., Burns, S. M., Kondratyev, A., Lavagno, L., Stevens, K. S., Taubin, A., & Yakovlev, A. (2002). Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions. IEEE Transactions on CAD, 21(2), 109-30. Feb. |
Rights Management |
(c) 2002 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
524,077 bytes |
Identifier |
ir-main,15294 |
ARK |
ark:/87278/s6280s29 |
Setname |
ir_uspace |
ID |
705615 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6280s29 |