• DocumentCode
    2787482
  • Title

    Synchronous Elastic Networks

  • Author

    Krstic, Sava ; Cortadella, Jordi ; Kishinevsky, Mike ; Leary, John O.

  • Author_Institution
    Strategic CAD Labs, Intel Corp., Hillsboro, OR
  • fYear
    2006
  • fDate
    Nov. 2006
  • Firstpage
    19
  • Lastpage
    30
  • 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
  • Keywords
    circuit theory; logic circuits; circuit compositionality; latency-insensitive systems; network behavioral properties; stream transformer level; synchronous circuits; synchronous elastic networks; Adders; Circuits; Communications technology; Control systems; Delay; Design methodology; Microarchitecture; Process design; Timing; Wires;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods in Computer Aided Design, 2006. FMCAD '06
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    0-7695-2707-8
  • Type

    conf

  • DOI
    10.1109/FMCAD.2006.32
  • Filename
    4021004
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2787482