Mostra el registre d'ítem simple
Speculation in elastic systems
dc.contributor.author | Galcerán Oms, Marc |
dc.contributor.author | Cortadella, Jordi |
dc.contributor.author | Kishinevsky, Mike |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2016-06-13T09:35:08Z |
dc.date.available | 2016-06-13T09:35:08Z |
dc.date.issued | 2009-05 |
dc.identifier.citation | Galceran, M., Cortadella, J., Kishinevsky, M. "Speculation in elastic systems". 2009. |
dc.identifier.uri | http://hdl.handle.net/2117/87919 |
dc.description.abstract | Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design practice is error-prone and mostly ad-hoc, this paper proposes a correct-by-construction method for implementing speculation in Elastic Systems. The technique is based on applying provably correct transformations such as early evaluation, insertion of anti-tokens and bubbles, retiming, and sharing. It allows to explore different micro-architectural solutions for better design trade-offs. The benefits of speculation are illustrated with two examples in which these transformations are systematically applied. The method proposed in this paper is amenable for automation in a synthesis flow. |
dc.format.extent | 13 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-09-15-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors |
dc.subject.other | Elastic designs |
dc.subject.other | Speculation |
dc.subject.other | Protocols |
dc.subject.other | Synthesis |
dc.title | Speculation in elastic systems |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.rights.access | Open Access |
local.identifier.drac | 18557454 |
dc.description.version | Postprint (published version) |
local.citation.author | Galceran, M.; Cortadella, J.; Kishinevsky, M. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [139]
-
Reports de recerca [1.107]