loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Methods in Computer Aided Design (FMCAD'06)
Synchronous Elastic Networks
San Jose, California, USA
November 12-November 16
ISBN: 0-7695-2707-8
Sava Krstic, Intel Corporation, USA
Jordi Cortadella, Universitat Politecnica de Catalunya, Spain
Mike Kishinevsky, Intel Corporation, USA
John O?Leary, Intel Corporation, USA
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.
Citation:
Sava Krstic, Jordi Cortadella, Mike Kishinevsky, John O?Leary, "Synchronous Elastic Networks," fmcad, pp.19-30, Formal Methods in Computer Aided Design (FMCAD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.