Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators - Architecture, Systèmes, Réseaux Access content directly
Conference Papers Year : 2023

Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators


We propose a workflow to help find errors in the processor models that are used to prove their timing predictability. Recently, several papers have modeled processor cores using formal models that represent how instructions progress through the pipeline in each execution cycle. However, such models grow with the complexity of the cores and they are built by hand, using a description of the core, usually the HDL-level code. Such a task is error-prone, and verifying that the model actually captures the core's timing behavior is required, otherwise the proofs become useless. Our workflow simulates the execution of benchmark applications using the HDL specification of a core in order to extract timing information as well as other relevant information (e.g. cache miss events, branch mispredictions). This information is used to replay the execution in a simulator of the core timing model, and to determine whether or not the model accurately represents the execution timing of the instructions. To avoid writing the simulator by hand for each new core, or new variation of a core, we developed a compiler that translates the timing model of a core into a C++ program. We evaluated our approach on the open source MINOTAuR core and we show how it enabled us to detect and correct errors in its model.
Fichier principal
Vignette du fichier
OASIcs-WCET-2023-2.pdf (744.08 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
licence : CC BY - Attribution

Dates and versions

hal-04171420 , version 1 (26-07-2023)





Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat. Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. 21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, ⟨10.4230/OASIcs.WCET.2023.2⟩. ⟨hal-04171420⟩
16 View
27 Download



Gmail Facebook X LinkedIn More