<?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-01231501</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-04-29T16:17:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Unfaithful Glitch Propagation in Existing Binary Circuit Models</title>
            <author role="aut">
              <persName>
                <forename type="first">Matthias</forename>
                <surname>Függer</surname>
              </persName>
              <email type="md5">baf077c7d9a522c0d24d7e954e5ee4d4</email>
              <email type="domain">lmf.cnrs.fr</email>
              <idno type="idhal" notation="string">matthias-fuegger</idno>
              <idno type="idhal" notation="numeric">16341</idno>
              <idno type="halauthorid" notation="string">38025-16341</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5765-0301</idno>
              <affiliation ref="#struct-152726"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Nowak</surname>
              </persName>
              <email type="md5">6d3a39f53d57c2f3daee69786624ba18</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">thomas-nowak</idno>
              <idno type="idhal" notation="numeric">5976</idno>
              <idno type="halauthorid" notation="string">24210-5976</idno>
              <idno type="IDREF">https://www.idref.fr/180843826</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1690-9342</idno>
              <affiliation ref="#struct-454323"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ulrich</forename>
                <surname>Schmid</surname>
              </persName>
              <idno type="halauthorid">828307-0</idno>
              <affiliation ref="#struct-152726"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Thomas</forename>
                <surname>Nowak</surname>
              </persName>
              <email type="md5">a0c26691e054f64971b691430bd159ac</email>
              <email type="domain">thomasnowak.net</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-11-20 14:02:12</date>
              <date type="whenModified">2026-02-07 05:12:01</date>
              <date type="whenReleased">2015-11-25 13:35:53</date>
              <date type="whenProduced">2016-03-01</date>
              <date type="whenEndEmbargoed">2015-11-20</date>
              <ref type="file" target="https://hal.science/hal-01231501v1/document">
                <date notBefore="2015-11-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01231501v1/file/paper.pdf" id="file-1231501-1310324">
                <date notBefore="2015-11-20"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1311.1423"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="180440">
                <persName>
                  <forename>Thomas</forename>
                  <surname>Nowak</surname>
                </persName>
                <email type="md5">a0c26691e054f64971b691430bd159ac</email>
                <email type="domain">thomasnowak.net</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01231501</idno>
            <idno type="halUri">https://hal.science/hal-01231501</idno>
            <idno type="halBibtex">fugger:hal-01231501</idno>
            <idno type="halRefHtml">&lt;i&gt;IEEE Transactions on Computers&lt;/i&gt;, 2016, 65 (3), pp.964-978. &lt;a target="_blank" href="https://dx.doi.org/10.1109/TC.2015.2435791"&gt;&amp;#x27E8;10.1109/TC.2015.2435791&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">IEEE Transactions on Computers, 2016, 65 (3), pp.964-978. &amp;#x27E8;10.1109/TC.2015.2435791&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1231501-1310324"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</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="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Unfaithful Glitch Propagation in Existing Binary Circuit Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthias</forename>
                    <surname>Függer</surname>
                  </persName>
                  <email type="md5">baf077c7d9a522c0d24d7e954e5ee4d4</email>
                  <email type="domain">lmf.cnrs.fr</email>
                  <idno type="idhal" notation="string">matthias-fuegger</idno>
                  <idno type="idhal" notation="numeric">16341</idno>
                  <idno type="halauthorid" notation="string">38025-16341</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5765-0301</idno>
                  <affiliation ref="#struct-152726"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Nowak</surname>
                  </persName>
                  <email type="md5">6d3a39f53d57c2f3daee69786624ba18</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">thomas-nowak</idno>
                  <idno type="idhal" notation="numeric">5976</idno>
                  <idno type="halauthorid" notation="string">24210-5976</idno>
                  <idno type="IDREF">https://www.idref.fr/180843826</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1690-9342</idno>
                  <affiliation ref="#struct-454323"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ulrich</forename>
                    <surname>Schmid</surname>
                  </persName>
                  <idno type="halauthorid">828307-0</idno>
                  <affiliation ref="#struct-152726"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">5369</idno>
                <idno type="issn">0018-9340</idno>
                <title level="j">IEEE Transactions on Computers</title>
                <imprint>
                  <publisher>Institute of Electrical and Electronics Engineers</publisher>
                  <biblScope unit="volume">65</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">964-978</biblScope>
                  <date type="datePub">2016-03-01</date>
                  <date type="dateEpub">2015-05-20</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1311.1423</idno>
              <idno type="doi">10.1109/TC.2015.2435791</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">modeling issues</term>
                <term xml:lang="en">circuit models</term>
                <term xml:lang="en">glitch propagation</term>
                <term xml:lang="en">binary models</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate Delay Degradation Model (DDM) channels proposed by Bellido-Díaz et al. We accomplish our goal by considering the border between solvability and non-solvability of a simple problem called Short-Pulse Filtration (SPF), which is closely related to arbitration and synchronization. On one hand, we prove that SPF is solvable in bounded time in any such model that provides channels with non constant delay, like I and DDM. This is in opposition to the impossibility of solving bounded SPF in real (physical) circuit models. On the other hand, for binary circuit models with constant-delay channels, we prove that SPF cannot be solved even in unbounded time; again in opposition to physical circuit models. Consequently, indeed none of the binary value-domain models proposed so far (and that we are aware of) faithfully captures glitch propagation of real circuits. We finally show that these modeling mismatches do not hold for the weaker eventual SPF problem.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-152726" status="VALID">
          <orgName>Institute of Computer Engineering [Vienna]</orgName>
          <desc>
            <address>
              <country key="AT"/>
            </address>
            <ref type="url">http://ti.tuwien.ac.at/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-19098" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454323" status="OLD">
          <idno type="IdRef">242745202</idno>
          <idno type="RNSR">201321099G</idno>
          <idno type="ROR">https://ror.org/02njc8q57</idno>
          <orgName>Dynamics of Geometric Networks</orgName>
          <orgName type="acronym">DYOGENE</orgName>
          <date type="start">2016-03-31</date>
          <date type="end">2025-05-31</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/dyogene</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="indirect"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-19098" status="VALID">
          <idno type="IdRef">030036496</idno>
          <idno type="ROR">https://ror.org/04d836q62</idno>
          <orgName>Vienna University of Technology = Technischen Universität Wien</orgName>
          <orgName type="acronym">TU Wien</orgName>
          <desc>
            <address>
              <addrLine>Karlsplatz 13, 1040 Vienna</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.tuwien.at/en/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </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="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="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>