Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/968879.969143acmconferencesArticle/Chapter ViewAbstractPublication PagesdateConference Proceedingsconference-collections
Article

Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures

Published: 16 February 2004 Publication History

Abstract

Latency-insensitive systems were recently proposed by Carloni et al. as a correct-by-construction methodology for single-clock system-on-a-chip (SoC) design using predesigned IP blocks. Their approach overcomes the problem of long latencies of global interconnects in deep-submicron technologies, while still maintaining much of the inherent simplicity of synchronous design. In particular, wires whose latency is greater than a clock cycle are segmented using "relay stations," and IP blocks are made robust to arbitrary communication delays.This paper shows, however, that significant extensions are needed to make latency-insensitive systems useful for the practical design of large-scale SoC's. In particular, this paper proposes three extensions. The .rst extension allows each synchronous module to treat its input and output channels in a much more flexible manner, i.e., with greater decoupling. The second extension generalizes inter-module communication from point-to-point channels to more complex networks of arbitrary topologies. Finally, the third extension is to target multi-clock SoC's. The net impact of our extensions is the potential for improved throughput, reduced power consumption, and greater flexibility in design.

References

[1]
{1} L. Benini and G. DeMicheli. Networks on chips: A new SoC paradigm. IEEE Computer, 35(1):70-78, 2002.
[2]
{2} K. v. Berkel, J. Kessels, M. Roncken, R. Saeijs, and F. Schalij. The VLSI-programming language Tangram and its translation into handshake circuits. In Proc. European Conference on Design Automation (EDAC), pages 384-389, 1991.
[3]
{3} L. Carloni, K. McMillan, and A. Sangiovanni-Vincentelli. The theory of latency insensitive design. IEEE Transactions on Computer-Aided Design, 20(9), September 2001.
[4]
{4} L. Carloni and A. Sangiovanni-Vincentelli. Coping with latency in SoC design. IEEE Micro, Special Issue on Systems on Chip, 22(5), Sep./Oct. 2002.
[5]
{5} L. P. Carloni, K. L. McMillan, A. Saldanha, and A. L. Sangiovanni-Vincentelli. A methodology for correct-by-construction latency insensitive design. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 309-315, Nov. 1999.
[6]
{6} L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli. Latency insensitive protocols. In Computer Aided Verification, pages 123-133, 1999.
[7]
{7} A. Chakraborty and M. R. Greenstreet. Efficient self-timed interfaces for crossing clock domains. In Proc. International Symposium on Asynchronous Circuits and Systems, May 2003.
[8]
{8} T. Chelcea and S. M. Nowick. Robust interfaces for mixed-timing systems with application to latency-insensitive protocols. In Proc. ACM/IEEE Design Automation Conference, June 2001.
[9]
{9} D. Edwards and A. Bardsley. Balsa: An asynchronous hardware synthesis language. The Computer Journal, 45(1):12-18, 2002.
[10]
{10} S. M. Nowick and B. Coates. UCLOCK: automated design of high-performance unclocked state machines. In Proc. International Conf. Computer Design (ICCD). IEEE Computer Society Press, Oct. 1994.
[11]
{11} T. Villiger, H. Käslin, F. K. Gürkaynak, S. Oetiker, and W. Fichtner. Self-timed ring for globally-asynchronous locally-synchronous systems. In Proc. International Symposium on Asynchronous Circuits and Systems, May 2003.
[12]
{12} K. Y. Yun and R. P. Donohue. Pausible clocking: A first step toward heterogeneous systems. In Proc. International Conf. Computer Design (ICCD), Oct. 1996.
[13]
{13} S. Zhuang, W. Li, J. Carlsson, K. Palmkvist, and L. Wanhammar. Asynchronous data communication with low power for gals systems. In IEEE International Conference on Electronics, Circuits and Systems , 2002.

Cited By

View all

Index Terms

  1. Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 2
      February 2004
      606 pages
      ISBN:0769520855

      Sponsors

      Publisher

      IEEE Computer Society

      United States

      Publication History

      Published: 16 February 2004

      Check for updates

      Qualifiers

      • Article

      Conference

      DATE04
      Sponsor:

      Acceptance Rates

      Overall Acceptance Rate 518 of 1,794 submissions, 29%

      Upcoming Conference

      DATE '25
      Design, Automation and Test in Europe
      March 31 - April 2, 2025
      Lyon , France

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)2
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 22 Nov 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2018)DesynchronizationProceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343872.3343885(109-118)Online publication date: 15-Oct-2018
      • (2014)From clock-driven to data-driven modelsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961841(32-41)Online publication date: 1-Oct-2014
      • (2011)From Concurrent Multi-clock Programs to Deterministic Asynchronous ImplementationsFundamenta Informaticae10.5555/2362088.2362094108:1-2(91-118)Online publication date: 1-Jan-2011
      • (2009)A variation-tolerant scheduler for better than worst-case behavioral synthesisProceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis10.1145/1629435.1629467(221-228)Online publication date: 11-Oct-2009
      • (2009)Leveraging local intracore information to increase global performance in block-based design of systems-on-chipIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2008.200915728:2(165-178)Online publication date: 1-Feb-2009
      • (2008)A trace-based framework for verifiable GALS composition of IPsIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2008.200086916:9(1176-1186)Online publication date: 1-Sep-2008
      • (2007)Using functional independence conditions to optimize the performance of latency-insensitive systemsProceedings of the 2007 IEEE/ACM international conference on Computer-aided design10.5555/1326073.1326081(32-39)Online publication date: 5-Nov-2007
      • (2007)Necessary and sufficient conditions for deterministic desynchronizationProceedings of the 7th ACM & IEEE international conference on Embedded software10.1145/1289927.1289950(124-133)Online publication date: 30-Sep-2007
      • (2007)MOUSETRAPIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2007.89873215:6(684-698)Online publication date: 1-Jun-2007
      • (2007)Adaptive Latency-Insensitive ProtocolsIEEE Design & Test10.1109/MDT.2007.15224:5(442-452)Online publication date: 1-Sep-2007
      • Show More Cited By

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media