<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04171420</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T14:27:39+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators</title>
            <author role="aut">
              <persName>
                <forename type="first">Alban</forename>
                <surname>Gruin</surname>
              </persName>
              <email type="md5">8637497750273e407efe5e5e03108ff3</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">alban-gruin</idno>
              <idno type="idhal" notation="numeric">1250111</idno>
              <idno type="halauthorid" notation="string">2365582-1250111</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7306-1822</idno>
              <affiliation ref="#struct-1001835"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Carle</surname>
              </persName>
              <email type="md5">24e6ab3c65c393562297189f93f05677</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">thomas-carle</idno>
              <idno type="idhal" notation="numeric">750932</idno>
              <idno type="halauthorid" notation="string">12556-750932</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1411-1030</idno>
              <idno type="IDREF">https://www.idref.fr/18325581X</idno>
              <affiliation ref="#struct-1001835"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christine</forename>
                <surname>Rochange</surname>
              </persName>
              <email type="md5">d42f08657c6c92964bbdf0be603a089d</email>
              <email type="domain">univ-tlse3.fr</email>
              <idno type="idhal" notation="string">christine-rochange</idno>
              <idno type="idhal" notation="numeric">184736</idno>
              <idno type="halauthorid" notation="string">5419-184736</idno>
              <idno type="IDREF">https://www.idref.fr/083616500</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7257-7114</idno>
              <affiliation ref="#struct-1001835"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascal</forename>
                <surname>Sainrat</surname>
              </persName>
              <email type="md5">47491ea5ad2ba2991e0edae12bfa9a8f</email>
              <email type="domain">univ-tlse3.fr</email>
              <idno type="idhal" notation="string">pascal-sainrat</idno>
              <idno type="idhal" notation="numeric">752578</idno>
              <idno type="halauthorid" notation="string">2260-752578</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1039-2290</idno>
              <affiliation ref="#struct-1001835"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alban</forename>
                <surname>GRUIN</surname>
              </persName>
              <email type="md5">8637497750273e407efe5e5e03108ff3</email>
              <email type="domain">irit.fr</email>
            </editor>
            <funder ref="#projanr-66294"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-07-26 12:36:39</date>
              <date type="whenWritten">2023-07-11</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2023-07-26 14:43:31</date>
              <date type="whenProduced">2023-07-11</date>
              <date type="whenEndEmbargoed">2023-07-26</date>
              <ref type="file" target="https://hal.science/hal-04171420v1/document">
                <date notBefore="2023-07-26"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-04171420v1/file/OASIcs-WCET-2023-2.pdf" id="file-4171420-3633736">
                <date notBefore="2023-07-26"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1384756">
                <persName>
                  <forename>Alban</forename>
                  <surname>GRUIN</surname>
                </persName>
                <email type="md5">8637497750273e407efe5e5e03108ff3</email>
                <email type="domain">irit.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04171420</idno>
            <idno type="halUri">https://hal.science/hal-04171420</idno>
            <idno type="halBibtex">gruin:hal-04171420</idno>
            <idno type="halRefHtml">&lt;i&gt;21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023)&lt;/i&gt;, Jul 2023, Vienne, Austria. pp.2:1-2:12, &lt;a target="_blank" href="https://dx.doi.org/10.4230/OASIcs.WCET.2023.2"&gt;&amp;#x27E8;10.4230/OASIcs.WCET.2023.2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, &amp;#x27E8;10.4230/OASIcs.WCET.2023.2&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4171420-3633736"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-TRACES" corresp="IRIT">Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="IRIT-ASR" corresp="IRIT">Architecture, Systèmes, Réseaux</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alban</forename>
                    <surname>Gruin</surname>
                  </persName>
                  <email type="md5">8637497750273e407efe5e5e03108ff3</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">alban-gruin</idno>
                  <idno type="idhal" notation="numeric">1250111</idno>
                  <idno type="halauthorid" notation="string">2365582-1250111</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7306-1822</idno>
                  <affiliation ref="#struct-1001835"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Carle</surname>
                  </persName>
                  <email type="md5">24e6ab3c65c393562297189f93f05677</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">thomas-carle</idno>
                  <idno type="idhal" notation="numeric">750932</idno>
                  <idno type="halauthorid" notation="string">12556-750932</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1411-1030</idno>
                  <idno type="IDREF">https://www.idref.fr/18325581X</idno>
                  <affiliation ref="#struct-1001835"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christine</forename>
                    <surname>Rochange</surname>
                  </persName>
                  <email type="md5">d42f08657c6c92964bbdf0be603a089d</email>
                  <email type="domain">univ-tlse3.fr</email>
                  <idno type="idhal" notation="string">christine-rochange</idno>
                  <idno type="idhal" notation="numeric">184736</idno>
                  <idno type="halauthorid" notation="string">5419-184736</idno>
                  <idno type="IDREF">https://www.idref.fr/083616500</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7257-7114</idno>
                  <affiliation ref="#struct-1001835"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascal</forename>
                    <surname>Sainrat</surname>
                  </persName>
                  <email type="md5">47491ea5ad2ba2991e0edae12bfa9a8f</email>
                  <email type="domain">univ-tlse3.fr</email>
                  <idno type="idhal" notation="string">pascal-sainrat</idno>
                  <idno type="idhal" notation="numeric">752578</idno>
                  <idno type="halauthorid" notation="string">2260-752578</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1039-2290</idno>
                  <affiliation ref="#struct-1001835"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-3-95977-293-8</idno>
                <title level="m">Open Access Series in Informatics (OASIcs)</title>
                <meeting>
                  <title>21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023)</title>
                  <date type="start">2023-07-11</date>
                  <date type="end">2023-07-11</date>
                  <settlement>Vienne</settlement>
                  <country key="AT">Austria</country>
                </meeting>
                <editor>Peter Wägemann</editor>
                <imprint>
                  <publisher>Schloss Dagstuhl -- Leibniz-Zentrum für Informatik</publisher>
                  <biblScope unit="serie">Open Access Series in Informatics (OASIcs)</biblScope>
                  <biblScope unit="volume">114</biblScope>
                  <biblScope unit="pp">2:1-2:12</biblScope>
                  <date type="datePub">2023-07-26</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4230/OASIcs.WCET.2023.2</idno>
              <ref type="publisher">https://www.ecrts.org/wcet-2023/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">processor model</term>
                <term xml:lang="en">timing predictability</term>
                <term xml:lang="en">simulator generation</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ar">Computer Science [cs]/Hardware Architecture [cs.AR]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>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.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1001835" status="OLD">
          <orgName>Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués</orgName>
          <orgName type="acronym">IRIT-TRACES</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>Institut de recherche en informatique de Toulouse - IRIT118 Route de Narbonne 31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/architecture-systemes-reseaux/equipe-traces/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-66294" status="VALID">
          <idno type="anr">ANR-22-CE25-0004</idno>
          <orgName>ProTiPP</orgName>
          <desc>Processeurs prédictibles prouvés</desc>
          <date type="start">2022</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>