MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution - Architecture, Systèmes, Réseaux Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Computers Année : 2023

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
214 Consultations
580 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More