HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Speculative Execution and Timing Predictability in an Open Source RISC-V Core

Abstract : We present MINOTAuR, a timing predictable open source RISC-V core based on the Ariane core [28]. We first modify Ariane in order to make it timing predictable following the approach used to design the SIC processor [12]. We prove that the instruction parallelism in the Ariane core does not prevent from enforcing timing predictability. We further relax restrictions by enabling a limited amount of speculative execution and we are still able to formally prove that the core is timing predictable. Experimental results show that the performance is reduced by only 10% on average compared to the original Ariane core.
Document type :
Conference papers
Complete list of metadata

Contributor : Christine Rochange Connect in order to contact the contributor
Submitted on : Monday, December 13, 2021 - 2:47:21 PM
Last modification on : Tuesday, January 4, 2022 - 6:06:55 AM
Long-term archiving on: : Monday, March 14, 2022 - 7:10:05 PM


Files produced by the author(s)



Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange. Speculative Execution and Timing Predictability in an Open Source RISC-V Core. IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩. ⟨hal-03477573⟩



Record views


Files downloads