<?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 lirmm-00343610</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-24T01:27:41+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">LIFTING: A Flexible Open-Source Fault Simulator</title>
            <author role="aut">
              <persName>
                <forename type="first">Alberto</forename>
                <surname>Bosio</surname>
              </persName>
              <email type="md5">d520d64169c259e699ff959bd1bfad6f</email>
              <email type="domain">ec-lyon.fr</email>
              <idno type="idhal" notation="string">alberto-bosio</idno>
              <idno type="idhal" notation="numeric">172965</idno>
              <idno type="halauthorid" notation="string">17774-172965</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6116-7339</idno>
              <idno type="IDREF">https://www.idref.fr/174383592</idno>
              <affiliation ref="#struct-408080"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Giorgio</forename>
                <surname>Di Natale</surname>
              </persName>
              <email type="md5">620536a451678025f4e231fb1ab81d94</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">giorgio-di-natale</idno>
              <idno type="idhal" notation="numeric">9897</idno>
              <idno type="halauthorid" notation="string">23870-9897</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8063-5388</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TRN1gHMAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/165791144</idno>
              <affiliation ref="#struct-408080"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alberto</forename>
                <surname>Bosio</surname>
              </persName>
              <email type="md5">d520d64169c259e699ff959bd1bfad6f</email>
              <email type="domain">ec-lyon.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2008-12-02 11:54:29</date>
              <date type="whenModified">2025-08-13 03:07:01</date>
              <date type="whenReleased">2008-12-04 13:54:48</date>
              <date type="whenProduced">2008-11-24</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="120736">
                <persName>
                  <forename>Alberto</forename>
                  <surname>Bosio</surname>
                </persName>
                <email type="md5">d520d64169c259e699ff959bd1bfad6f</email>
                <email type="domain">ec-lyon.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-00343610</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-00343610</idno>
            <idno type="halBibtex">bosio:lirmm-00343610</idno>
            <idno type="halRefHtml">&lt;i&gt;ATS 2008 - 17th IEEE Asian Test Symposium&lt;/i&gt;, Nov 2008, Saporro, Japan. pp.035-040, &lt;a target="_blank" href="https://dx.doi.org/10.1109/ATS.2008.17"&gt;&amp;#x27E8;10.1109/ATS.2008.17&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ATS 2008 - 17th IEEE Asian Test Symposium, Nov 2008, Saporro, Japan. pp.035-040, &amp;#x27E8;10.1109/ATS.2008.17&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="SYSMIC" corresp="LIRMM">SysMic</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="LIRMM_MIC">MIC</idno>
            <idno type="stamp" n="MIC">Département Microélectronique</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
            <idno type="stamp" n="EC_LYON_STRICT">Centrale Lyon - périmètre strict</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">LIFTING: A Flexible Open-Source Fault Simulator</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alberto</forename>
                    <surname>Bosio</surname>
                  </persName>
                  <email type="md5">d520d64169c259e699ff959bd1bfad6f</email>
                  <email type="domain">ec-lyon.fr</email>
                  <idno type="idhal" notation="string">alberto-bosio</idno>
                  <idno type="idhal" notation="numeric">172965</idno>
                  <idno type="halauthorid" notation="string">17774-172965</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6116-7339</idno>
                  <idno type="IDREF">https://www.idref.fr/174383592</idno>
                  <affiliation ref="#struct-408080"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Giorgio</forename>
                    <surname>Di Natale</surname>
                  </persName>
                  <email type="md5">620536a451678025f4e231fb1ab81d94</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">giorgio-di-natale</idno>
                  <idno type="idhal" notation="numeric">9897</idno>
                  <idno type="halauthorid" notation="string">23870-9897</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8063-5388</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TRN1gHMAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/165791144</idno>
                  <affiliation ref="#struct-408080"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ATS 2008 - 17th IEEE Asian Test Symposium</title>
                  <date type="start">2008-11-24</date>
                  <date type="end">2008-11-27</date>
                  <settlement>Saporro</settlement>
                  <country key="JP">Japan</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">035-040</biblScope>
                  <date type="datePub">2008-11-24</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/ATS.2008.17</idno>
              <ref type="publisher">http://ats08.info.hiroshima-cu.ac.jp/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="spi.nano">Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics</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>This paper presents LIFTING (LIRMM Fault Simulator), an open-source simulator able to perform both logic and fault simulation for single/multiple stuck-at faults and single event upset (SEU) on digital circuits described in Verilog. Compared to existing tools, LIFTING provides several features for the analysis of the fault simulation results, meaningful for research purposes. Moreover, as an open-source tool, it can be customized to meet any user requirements. Experimental results show how LIFTING has been exploited on field research. Eventually, execution time for large circuit simulations is comparable to the one of commercial tools.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-408080" status="OLD">
          <orgName>Conception et Test de Systèmes MICroélectroniques</orgName>
          <orgName type="acronym">SysMIC</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lirmm.fr/recherche/equipes/sysmic</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
    </back>
  </text>
</TEI>