Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Speculation in elastic systems

Autor
Galceran, M.; Cortadella, J.; Kishinevsky, M.
Tipus d'activitat
Document cientificotècnic
Data
2009-05
Codi
LSI-09-15-R
Repositori
http://hdl.handle.net/2117/87919 Obrir en finestra nova
Resum
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 diffe...
Citació
Galceran, M., Cortadella, J., Kishinevsky, M. "Speculation in elastic systems". 2009.
Paraules clau
Elastic Designs, Speculation, Protocols, Synthesis
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius