Latency Insensitive Protocols
- 667 Downloads
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of Intellectual Properties. Latency insensitive designs are synchronous distributed systems and are realized by assembling functional modules exchanging data on communication channels according to an appropriate protocol. The goal of the protocol is to guarantee that latency insensitive designs composed of functionally correct modules, behave correctly independently of the wire delays. A latency-insensitive protocol is presented that makes use of relay stations buffering signals propagating along long wires. To guarantee correct behavior of the overall system, modules must satisfy weak conditions. The weakness of the conditions makes our method widely applicable.
KeywordsClock Cycle Relay Station Lexicographic Order Functional Block Trace Theory
- D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. The MIT Press, Cambridge, Mass., 1988. An ACM Distinguished Dissertation 1988.Google Scholar
- T.A. Henzinger, S. Qadeer, and R.K. Rajamani. You Assume, We Guarantee: Methodology and Case Studies. In Proceedings of the 10th International Conference on Computer-Aided Verification, Vancouver, Canada, July 1998.Google Scholar
- K. L. McMillan. A Compositional Rule for Hardware Design Refinement. In Proceedings of the 9th International Conference on Computer-Aided Verification, Haifa, Israel, July 1997.Google Scholar