Automatic Extraction of Timing Models for WCET Estimation from a High-Level Synthesis Flow
Résumé
Real-time, domain-specific processors require faithful timing models for WCET analysis. However, existing models are typically hand-crafted from sparse documentation, making them error-prone and difficult to maintain. This work aims to automatically extract WCET timing models from single-issue in-order processor pipelines generated by High-Level Synthesis (HLS). By deriving timing models directly from the SpecHLS intermediate representation, the models are faithful by construction. Experimental results show that our timing-model extraction process generalizes across diverse RISC-V core variants and yields WCET estimates within 0.48% on average of those from a handcrafted model, on the Mälardalen WCET benchmarks.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
![]()
Complète hal-05365718 Objet présenté à une conférence Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut. Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow. DATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy. ⟨hal-05365718⟩