Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Complete list of metadata
Contributor : Thomas Carle Connect in order to contact the contributor
Submitted on : Friday, September 9, 2022 - 9:16:27 AM
Last modification on : Saturday, September 10, 2022 - 3:52:59 AM


Files produced by the author(s)



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⟩



Record views


Files downloads