MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution - Architecture, Systèmes, Réseaux Access content directly
Journal Articles IEEE Transactions on Computers Year : 2023

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

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, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩. ⟨hal-03773263⟩
308 View
786 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More