Speculation in elastic systems
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/87919
Tipus de documentReport de recerca
Data publicació2009-05
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióGalceran, M., Cortadella, J., Kishinevsky, M. "Speculation in elastic systems". 2009.
Forma partLSI-09-15-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R09-15.pdf | 171,8Kb | Visualitza/Obre |