<?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-01404772</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-18T19:11:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Accurate Modeling of Fault Impact in Arithmetic Circuits</title>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Guilloux</surname>
              </persName>
              <email type="md5">63c93bc60d276398c02313e8e2051f6e</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="string">pierre-guilloux</idno>
              <idno type="idhal" notation="numeric">8555</idno>
              <idno type="halauthorid" notation="string">29959-8555</idno>
              <affiliation ref="#struct-58651"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Tisserand</surname>
              </persName>
              <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
              <email type="domain">cnrs.fr</email>
              <idno type="idhal" notation="string">arnaud-tisserand</idno>
              <idno type="idhal" notation="numeric">3616</idno>
              <idno type="halauthorid" notation="string">34915-3616</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7042-3541</idno>
              <idno type="IDREF">https://www.idref.fr/060154160</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-58651"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arnaud</forename>
                <surname>TISSERAND</surname>
              </persName>
              <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
              <email type="domain">cnrs.fr</email>
            </editor>
            <funder ref="#projanr-34417"/>
            <funder ref="#projanr-21557"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-11-29 11:29:34</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2016-11-29 13:57:46</date>
              <date type="whenProduced">2016-10-12</date>
              <date type="whenEndEmbargoed">2016-11-29</date>
              <ref type="file" target="https://inria.hal.science/hal-01404772v1/document">
                <date notBefore="2016-11-29"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01404772v1/file/poster-dasip-demo-night.pdf" id="file-1404772-1491457">
                <date notBefore="2016-11-29"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="74162">
                <persName>
                  <forename>Arnaud</forename>
                  <surname>TISSERAND</surname>
                </persName>
                <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
                <email type="domain">cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01404772</idno>
            <idno type="halUri">https://inria.hal.science/hal-01404772</idno>
            <idno type="halBibtex">guilloux:hal-01404772</idno>
            <idno type="halRefHtml">&lt;i&gt;DASIP: Conference on Design and Architectures for Signal and Image Processing (Demo Night)&lt;/i&gt;, Oct 2016, Rennes, France. &lt;a target="_blank" href="https://ecsi.org/dasip"&gt;&lt;/a&gt;, 2016</idno>
            <idno type="halRef">DASIP: Conference on Design and Architectures for Signal and Image Processing (Demo Night), Oct 2016, Rennes, France. , 2016</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1404772-1491457"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="IRISA-D3">ARCHITECTURE</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Accurate Modeling of Fault Impact in Arithmetic Circuits</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Guilloux</surname>
                  </persName>
                  <email type="md5">63c93bc60d276398c02313e8e2051f6e</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="string">pierre-guilloux</idno>
                  <idno type="idhal" notation="numeric">8555</idno>
                  <idno type="halauthorid" notation="string">29959-8555</idno>
                  <affiliation ref="#struct-58651"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Tisserand</surname>
                  </persName>
                  <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
                  <email type="domain">cnrs.fr</email>
                  <idno type="idhal" notation="string">arnaud-tisserand</idno>
                  <idno type="idhal" notation="numeric">3616</idno>
                  <idno type="halauthorid" notation="string">34915-3616</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7042-3541</idno>
                  <idno type="IDREF">https://www.idref.fr/060154160</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-58651"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>DASIP: Conference on Design and Architectures for Signal and Image Processing (Demo Night)</title>
                  <date type="start">2016-10-12</date>
                  <date type="end">2016-10-14</date>
                  <settlement>Rennes</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <date type="datePub">2016-10</date>
                </imprint>
              </monogr>
              <ref type="publisher">https://ecsi.org/dasip</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ao">Computer Science [cs]/Computer Arithmetic</classCode>
              <classCode scheme="halDomain" n="spi.nano">Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics</classCode>
              <classCode scheme="halTypology" n="POSTER">Conference poster</classCode>
              <classCode scheme="halOldTypology" n="POSTER">Conference poster</classCode>
              <classCode scheme="halTreeTypology" n="POSTER">Conference poster</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Various methods have been proposed for fault detection and fault  tolerance in digital integrated circuits. In the case of arithmetic circuits, the selection of an efficient method depends on several elements: type of operation, type(s) of operand(s), computation algorithms, internal representations of numbers, optimizations at architecture and circuit levels, and acceptable accuracy level (i.e. mathematical error) of the result(s) including both rounding errors and errors due to the faults.High-level mathematical models are not sufficient to capture the effect of faults in arithmetic circuits. Simulation of intensive fault scenarios in all components of the  arithmetic circuit (data-path, control, gates with important fan-out such as some partial products generation in large multipliers, etc.) is widely used. But cycle accurate and bit accurate software simulations at gate level are too slow for large circuits and numerous fault scenarios. FPGA emulation is a popular method to speed-up fault simulation.In the demo, we will present an hardware-software platform dedicated to fault emulation for ASIC arithmetic circuits. The platform is based on a parallel cluster of Zynq FPGA cards and a Linux server. Various arithmetic circuits and fault models will be demonstrated in the context of digital signal and image processing.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-58651" status="OLD">
          <idno type="RNSR">200818991M</idno>
          <orgName>Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources</orgName>
          <orgName type="acronym">CAIRN</orgName>
          <date type="start">2009-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/cairn</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419364" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-419364" status="OLD">
          <orgName>ARCHITECTURE</orgName>
          <orgName type="acronym">IRISA-D3</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d3-architecture</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </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>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-34417" status="VALID">
          <idno type="anr">ANR-11-INSE-0015</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>ARDyT</orgName>
          <desc>Architecture Reconfigurable Dynamiquement Tolérante aux fautes</desc>
          <date type="start">2011</date>
        </org>
        <org type="anrProject" xml:id="projanr-21557" status="VALID">
          <idno type="anr">ANR-10-LABX-0007</idno>
          <orgName>COMIN Labs</orgName>
          <desc>Digital Communication and Information Sciences for the Future Internet</desc>
          <date type="start">2010</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>