Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/86217
Título:
|
Synchronous elastic circuits with early evaluation and token counterflow
|
Autor/a:
|
Cortadella, Jordi; Kishinevsky, Mike
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
Abstract:
|
A protocol for latency-insensitive design with early evaluation and its implementation is presented. The implementation is based on a symmetric view of the system in which tokens carrying information move in the forward direction and anti-tokens canceling information move in the backward direction. When tokens and anti-tokens collide, they annihilate. The implementation is formally verified against the temporal properties of the elastic protocol and correct transfer of data. An example illustrates the flow for converting a regular synchronous design into the elastic form and demonstrates trade-offs in applying early evaluation and token counterflow. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors -Elastic systems -Early evaluation -Marked graphs |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem