Speculative Execution and Timing Predictability in an Open Source RISC-V Core - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Speculative Execution and Timing Predictability in an Open Source RISC-V Core

Abstract

We present MINOTAuR, a timing predictable open source RISC-V core based on the Ariane core [28]. We first modify Ariane in order to make it timing predictable following the approach used to design the SIC processor [12]. We prove that the instruction parallelism in the Ariane core does not prevent from enforcing timing predictability. We further relax restrictions by enabling a limited amount of speculative execution and we are still able to formally prove that the core is timing predictable. Experimental results show that the performance is reduced by only 10% on average compared to the original Ariane core.
Fichier principal
Vignette du fichier
RTSS_2021-2.pdf (361.1 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03477573 , version 1 (13-12-2021)

Identifiers

Cite

Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange. Speculative Execution and Timing Predictability in an Open Source RISC-V Core. IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩. ⟨hal-03477573⟩
266 View
483 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More