Loading...
Loading...

Go to the content (press return)

Speculation in elastic systems

Author
Galceran, M.; Cortadella, J.; Kishinevsky, M.
Type of activity
Presentation of work at congresses
Name of edition
46th ACM/IEEE Design Automation Conference
Date of publication
2009
Presentation's date
2009-07
Book of congress proceedings
DAC '09, proceedings of the 46th Annual Design Automation Conference: San Francisco, California, July 26-31, 2009
First page
292
Last page
295
DOI
10.1145/1629911.1629989
URL
https://dl.acm.org/citation.cfm?id=1629989 Open in new window
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. The benefits of speculation are illustrated with two examples in which these transformations are systematically ...
Keywords
Elastic designs, Protocols, Speculation, Synthesis
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Galceran Oms, Marc  (author and speaker )
  • Cortadella Fortuny, Jordi  (author and speaker )
  • Kishinevsky, Michael  (author and speaker )