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

https://ut3-toulouseinp.hal.science/hal-03477573
Contributor : Christine ROCHANGE Connect in order to contact the contributor
Submitted on : Monday, December 13, 2021 - 2:47:21 PM
Last modification on : Monday, July 4, 2022 - 9:03:29 AM
Long-term archiving on: : Monday, March 14, 2022 - 7:10:05 PM

File

RTSS_2021-2.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

159

Files downloads

149