Speculation in elastic systems

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 i...

Full description

Saved in:
Bibliographic Details
Main Authors: Galceran-Oms, Marc, Cortadella, Jordi, Kishinevsky, Mike
Format: Conference Proceeding
Language:English
Subjects:
Communication system control
Control systems
Delay
Design automation
Elastic designs
Error correction
Hardware > Electronic design automation > High-level and register-transfer level synthesis
Microprocessors
Parallel processing
Permission
Pipelines
Protocols
speculation
synthesis
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 applied. The method proposed in this paper is amenable for automation in a synthesis flow.
ISSN:0738-100X
DOI:10.1145/1629911.1629989