 |
Architecture, Systems and Networks |  |
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.
Keywords :
timing predictability
processor architecture
https://hal-univ-tlse3.archives-ouvertes.fr/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 : Tuesday, January 4, 2022 - 6:06:55 AM
Long-term archiving on: : Monday, March 14, 2022 - 7:10:05 PM
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
File
RTSS_2021-2.pdf
Files produced by the author(s)