Loading...
Loading...

Go to the content (press return)

Synchronous elastic networks

Author
Krstic, S.; Cortadella, J.; Kishinevsky, M.; O'Leary, J.
Type of activity
Presentation of work at congresses
Name of edition
6th International Conference on Formal Methods in Computer-Aided Design
Date of publication
2006
Book of congress proceedings
Proceedings of Formal Methods in Computer Aided Design: 12-16 November 2006, San Jose, California, USA
First page
19
Last page
30
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/FMCAD.2006.32
Repository
http://hdl.handle.net/2117/130977 Open in new window
URL
https://ieeexplore.ieee.org/document/4021004 Open in new window
Abstract
We formally define - at the stream transformer level - a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properties of networks of such circuits and prove fundamental compositionality results. The paper contributes to bridging the gap between the theory of latency-insensitive systems and the correct implementation of efficient control structures for them.
Citation
Krstic, S. [et al.]. Synchronous elastic networks. A: International Conference on Formal Methods in Computer-Aided Design. "Proceedings of Formal Methods in Computer Aided Design: 12-16 November 2006, San Jose, California, USA". Institute of Electrical and Electronics Engineers (IEEE), 2006, p. 19-30.
Keywords
Adders, Circuits, Communications technology, Control systems, Delay, Design methodology, Microarchitecture, Process design, Timing, Wires
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Krstic, Sava  (author and speaker )
  • Cortadella Fortuny, Jordi  (author and speaker )
  • Kishinevsky, Michael  (author and speaker )
  • O'Leary, John  (author and speaker )

Attachments