Loading...
Loading...

Go to the content (press return)

Lazy transition systems and asynchronous circuits synthesis with relative timing assumptions

Author
Cortadella, J.; Kishinevsky, M.; Burns, S.; Kondratyev, A.; Lavagno, L.; Stevens, K.; Taubin, A.; Yakovlev, A.
Type of activity
Journal article
Journal
IEEE transactions on computer-aided design of integrated circuits and systems
Date of publication
2002-02
Volume
21
Number
2
First page
109
Last page
130
DOI
https://doi.org/10.1109/43.980253 Open in new window
Repository
http://hdl.handle.net/2117/126134 Open in new window
URL
https://ieeexplore.ieee.org/document/980253 Open in new window
Abstract
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 assump...
Citation
Cortadella, J., Kishinevsky, M., Burns, S., Kondratyev, A., Lavagno, L., Stevens, K., Taubin, A., Yakovlev, A. Lazy transition systems and asynchronous circuits synthesis with relative timing assumptions. "IEEE transactions on computer-aided design of integrated circuits and systems", Febrer 2002, vol. 21, núm. 2, p. 109-130.
Keywords
Asynchronous circuits, Lazy transition systems, Logic synthesis, Relative timing
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Cortadella Fortuny, Jordi  (author)
  • Kishinevsky, Michael  (author)
  • Burns, Steven M.  (author)
  • Kondratyev, Alex  (author)
  • Lavagno, Luciano  (author)
  • Stevens, Kenneth S.  (author)
  • Taubin, Alexander  (author)
  • Yakovlev, Alex  (author)

Attachments