Theory of latency-insensitive design
Top Cited Papers
- 1 September 2001
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 20 (9) , 1059-1076
- https://doi.org/10.1109/43.945302
Abstract
The theory of latency-insensitive design is presented as the foundation of a new correct-by-construction methodology to design complex systems by assembling intellectual property components. Latency-insensitive designs are synchronous distributed systems and are realized by composing functional modules that exchange data on communication channels according to an appropriate protocol. The protocol works on the assumption that the modules are stallable, a weak condition to ask them to obey. The goal of the protocol is to guarantee that latency-insensitive designs composed of functionally correct modules behave correctly independently of the channel latencies. This allows us to increase the robustness of a design implementation because any delay variations of a channel can be "recovered" by changing the channel latency while the overall system functionality remains unaffected. As a consequence, an important application of the proposed theory is represented by the latency-insensitive methodology to design large digital integrated circuits by using deep submicrometer technologies.Keywords
This publication has 30 references indexed in Scilit:
- Compositional model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Relative scheduling under timing constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A 600 MHz superscalar RISC microprocessor with out-of-order executionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Latency Insensitive ProtocolsPublished by Springer Nature ,1999
- A framework for comparing models of computationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- A compositional rule for hardware design refinementPublished by Springer Nature ,1997
- Interface optimization for concurrent systems under timing constraintsIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1993
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Trace Theory and VLSJ DesignLecture Notes in Computer Science, 1985
- An Efficient Algorithm for Exploiting Multiple Arithmetic UnitsIBM Journal of Research and Development, 1967