Title :
Synchronous Elastic Networks
Author :
Krstic, Sava ; Cortadella, Jordi ; Kishinevsky, Mike ; Leary, John O.
Author_Institution :
Strategic CAD Labs, Intel Corp., Hillsboro, OR
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;
Conference_Titel :
Formal Methods in Computer Aided Design, 2006. FMCAD '06
Conference_Location :
San Jose, CA
Print_ISBN :
0-7695-2707-8
DOI :
10.1109/FMCAD.2006.32
