Elasticity and Petri nets

Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with communication handshakes (asynchronous version) or by augmenting the clock wi...

Descripción completa

Detalles Bibliográficos
Autores: Cortadella, Jordi|||0000-0001-8114-250X, Kishinevsky, Michael, Bufistov, Dmitry, Carmona Vargas, Josep|||0000-0001-9656-254X, Julvez Bueno, Jorge Emilio
Tipo de recurso: artículo
Fecha de publicación:2008
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/126595
Acceso en línea:https://hdl.handle.net/2117/126595
https://dx.doi.org/10.1007/978-3-540-89287-8_13
Access Level:acceso abierto
Palabra clave:Asynchronous circuits
Petri nets
Buffer sizing
Elastic system
Register count
Marked graph
Circuits asíncrons
Petri, Xarxes de
Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats
Descripción
Sumario:Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with communication handshakes (asynchronous version) or by augmenting the clock with a synchronous version of a handshake (synchronous version). Time elastic systems can tolerate static and dynamic changes in delays (asynchronous case) or latencies (synchronous case) of operations that can be used for modularity, ease of reuse and better power-delay trade-off. This paper describes methods for the modeling, performance analysis and optimization of elastic systems using Marked Graphs and their extensions capable of describing behavior with early evaluation. The paper uses synchronous elastic systems (aka latency-tolerant systems) for illustrating the use of Petri nets, however, most of the methods can be applied without changes (except changing the delay model associated with events of the system) to asynchronous elastic systems.