MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Computers Year : 2022

MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution

(1) , (1) , (1) , (1) , (1)
1

Abstract

We present MINOTAuR, an open-source RISC-V core designed to be timing predictable, i.e. free of timing anomalies: this property enables a compositional timing analysis in a multicore context. MINOTAuR features speculative execution: thanks to a specific design of its pipeline, we formally prove that speculation does not break timing predictability while sensibly increasing performance. We propose architectural extensions that enable the use of a return address stack and of any cache replacement policy, which we implemented in the MINOTAuR core. We show that a trade-off can be found between the efficiency of these components and the overhead they incur on the die area consumption, and that using them yields a performance equivalent to that of the baseline RISC-V Ariane core, while also enforcing timing predictability.
Fichier principal
Vignette du fichier
TOC_2022_v3-1.pdf (6.7 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03773263 , version 1 (09-09-2022)

Identifiers

Cite

Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat. MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Transactions on Computers, 2022, pp.1-14. ⟨10.1109/TC.2022.3200000⟩. ⟨hal-03773263⟩
18 View
4 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More