<?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-01718578</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-22T14:36:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Microprocessor Testing: Functional Meets Structural Test</title>
            <author role="aut">
              <persName>
                <forename type="first">Aymen</forename>
                <surname>Touati</surname>
              </persName>
              <idno type="halauthorid">986216-0</idno>
              <affiliation ref="#struct-487992"/>
            </author>
            <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-487992"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Patrick</forename>
                <surname>Girard</surname>
              </persName>
              <email type="md5">64eced688a71c917544572f77f24aa3d</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">patrick-girard-lirmm</idno>
              <idno type="idhal" notation="numeric">740458</idno>
              <idno type="halauthorid" notation="string">52018-740458</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0722-8772</idno>
              <affiliation ref="#struct-487992"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Virazel</surname>
              </persName>
              <email type="md5">514b9bdb53dacba2fd794d9140b751ae</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">arnaud-virazel</idno>
              <idno type="idhal" notation="numeric">18065</idno>
              <idno type="halauthorid" notation="string">17611-18065</idno>
              <idno type="IDREF">https://www.idref.fr/068454724</idno>
              <idno type="ISNI">http://isni.org/isni/0000000139422532</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7398-7107</idno>
              <affiliation ref="#struct-487992"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paolo</forename>
                <surname>Bernardi</surname>
              </persName>
              <email type="md5">324a0ec7fd4d9e9056687cb63b94ce8a</email>
              <email type="domain">polito.it</email>
              <idno type="idhal" notation="numeric">849041</idno>
              <idno type="halauthorid" notation="string">312876-849041</idno>
              <affiliation ref="#struct-6571"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matteo</forename>
                <surname>Sonza Reorda</surname>
              </persName>
              <email type="md5">d235355436e781ab33ff523b0edf3ac6</email>
              <email type="domain">polito.it</email>
              <idno type="idhal" notation="numeric">990392</idno>
              <idno type="halauthorid" notation="string">356682-990392</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2899-7669</idno>
              <affiliation ref="#struct-6571"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arnaud</forename>
                <surname>Virazel</surname>
              </persName>
              <email type="md5">514b9bdb53dacba2fd794d9140b751ae</email>
              <email type="domain">lirmm.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-02-27 15:03:12</date>
              <date type="whenModified">2025-08-13 03:12:00</date>
              <date type="whenReleased">2018-03-14 21:50:20</date>
              <date type="whenProduced">2017-08</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="115099">
                <persName>
                  <forename>Arnaud</forename>
                  <surname>Virazel</surname>
                </persName>
                <email type="md5">514b9bdb53dacba2fd794d9140b751ae</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-01718578</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-01718578</idno>
            <idno type="halBibtex">touati:lirmm-01718578</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Circuits, Systems, and Computers&lt;/i&gt;, 2017, 26 (08), &lt;a target="_blank" href="https://dx.doi.org/10.1142/S0218126617400072"&gt;&amp;#x27E8;10.1142/S0218126617400072&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Circuits, Systems, and Computers, 2017, 26 (08), &amp;#x27E8;10.1142/S0218126617400072&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="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="TEST" corresp="LIRMM">Test and dEpendability of microelectronic integrated SysTems</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="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Microprocessor Testing: Functional Meets Structural Test</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Aymen</forename>
                    <surname>Touati</surname>
                  </persName>
                  <idno type="halauthorid">986216-0</idno>
                  <affiliation ref="#struct-487992"/>
                </author>
                <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-487992"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Patrick</forename>
                    <surname>Girard</surname>
                  </persName>
                  <email type="md5">64eced688a71c917544572f77f24aa3d</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">patrick-girard-lirmm</idno>
                  <idno type="idhal" notation="numeric">740458</idno>
                  <idno type="halauthorid" notation="string">52018-740458</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0722-8772</idno>
                  <affiliation ref="#struct-487992"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Virazel</surname>
                  </persName>
                  <email type="md5">514b9bdb53dacba2fd794d9140b751ae</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">arnaud-virazel</idno>
                  <idno type="idhal" notation="numeric">18065</idno>
                  <idno type="halauthorid" notation="string">17611-18065</idno>
                  <idno type="IDREF">https://www.idref.fr/068454724</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000139422532</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7398-7107</idno>
                  <affiliation ref="#struct-487992"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paolo</forename>
                    <surname>Bernardi</surname>
                  </persName>
                  <email type="md5">324a0ec7fd4d9e9056687cb63b94ce8a</email>
                  <email type="domain">polito.it</email>
                  <idno type="idhal" notation="numeric">849041</idno>
                  <idno type="halauthorid" notation="string">312876-849041</idno>
                  <affiliation ref="#struct-6571"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matteo</forename>
                    <surname>Sonza Reorda</surname>
                  </persName>
                  <email type="md5">d235355436e781ab33ff523b0edf3ac6</email>
                  <email type="domain">polito.it</email>
                  <idno type="idhal" notation="numeric">990392</idno>
                  <idno type="halauthorid" notation="string">356682-990392</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2899-7669</idno>
                  <affiliation ref="#struct-6571"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">15212</idno>
                <idno type="issn">0218-1266</idno>
                <title level="j">Journal of Circuits, Systems, and Computers</title>
                <imprint>
                  <publisher>World Scientific Publishing</publisher>
                  <biblScope unit="volume">26</biblScope>
                  <biblScope unit="issue">08</biblScope>
                  <date type="datePub">2017-08</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1142/S0218126617400072</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Delay test</term>
                <term xml:lang="en">Test compaction</term>
                <term xml:lang="en">Functional and structural test</term>
                <term xml:lang="en">SBST</term>
                <term xml:lang="en">Microprocessor test</term>
                <term xml:lang="en">ATPG</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.nano">Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics</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>Structural test is widely adopted to ensure high quality for a given product. The availability of many commercial tools and the use of fault models make it very easy to generate and to evaluate. Despite its efficiency, structural test is also known for the risk of over-testing that may lead to yield loss. This problem is mainly due to the fact that structural test does not take into account the functionality of the circuit under test. On the other hand, functional test guarantees that the circuit is tested under normal conditions, thus avoiding any over- as well as under-testing issues. More in particular, for microprocessor testing, functional test is usually applied by exploiting the Software-Based-Self-Test (SBST) technique. SBST applies a set of functional test programs that are executed by the processor to achieve a given fault coverage. SBST fits particularly well for online testing of processor-based systems. In this work, we describe a technique able to execute functional test programs as if they were structural tests. In this way, they can be applied during the end-of-production test in order to achieve good fault coverage and, at the same time, avoiding any over-test problems. We will show that it is possible to map functional test programs into the classical structural test schemes, so that their application simply requires the presence of a scan chain. Finally, we present a compaction algorithm able to significantly reduce the test length. Results carried out on two different microprocessors show the advantages of such approach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-487992" status="OLD">
          <orgName>Test and dEpendability of microelectronic integrated SysTems</orgName>
          <orgName type="acronym">TEST</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/TEST/</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="institution" xml:id="struct-6571" status="VALID">
          <idno type="IdRef">034390626</idno>
          <idno type="ISNI">0000000419370343</idno>
          <idno type="ROR">https://ror.org/00bgk9508</idno>
          <orgName>Politecnico di Torino = Polytechnic of Turin</orgName>
          <orgName type="acronym">Polito</orgName>
          <date type="start">1859-01-01</date>
          <desc>
            <address>
              <addrLine>Politecnico di Torino - Corso Duca degli Abruzzi, 24 10129 Torino</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.polito.it/</ref>
          </desc>
        </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>