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

https://ut3-toulouseinp.hal.science/hal-03773263
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

File

TOC_2022_v3-1.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

18

Files downloads

4