Theory of latency-insensitive design
Carloni, L.P.; McMillan, K.L.; Sangiovanni-Vincentelli, A.L.
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Volume 20, Issue 9, Sep 2001 Page(s):1059 - 1076
Digital Object Identifier 10.1109/43.945302
Summary: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
View citation and abstract |
Cart
