Speculative Execution and Timing Predictability in an Open Source RISC-V Core
- Resource Type
- Authors
- Alban Gruin; Thomas Carle; Hugues Casse; Christine Rochange
- Source
- 2021 IEEE Real-Time Systems Symposium (RTSS)
IEEE Real-Time Systems Symposium (RTSS 2021)
IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩
- Subject
- timing predictability
processor architecture
[INFO]Computer Science [cs]
- Language
- English
International audience; 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.