2026-04-14T02:16:14Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/1309772026-01-21T08:49:04Zcom_2072_1033col_2072_452950

Synchronous elastic networks Krstic, Sava Cortadella, Jordi Kishinevsky, Michael O'Leary, John Universitat Politècnica de Catalunya. Departament de Ciències de la Computació Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats Logic circuits Circuits Adders Delay Timing Wires Process design Design methodology Control systems Communications technology Microarchitecture Circuits lògics 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. Peer Reviewed Postprint (published version) 2006 Conference report Krstic, S. [et al.]. Synchronous elastic networks. A: International Conference on Formal Methods in Computer-Aided Design. "Proceedings of Formal Methods in Computer Aided Design: 12-16 November 2006, San Jose, California, USA". Institute of Electrical and Electronics Engineers (IEEE), 2006, p. 19-30. 978-0-7695-2707-9 https://hdl.handle.net/2117/130977 10.1109/FMCAD.2006.32 eng https://ieeexplore.ieee.org/document/4021004 Open Access 12 p. application/pdf Institute of Electrical and Electronics Engineers (IEEE)