<?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 tel-00445752</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-25T03:41:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Arithmetic architecture adequacy, problems and case study</title>
            <title xml:lang="fr">Adéquation arithmétique architecture, problèmes et étude de cas</title>
            <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-35418"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arnaud</forename>
                <surname>TISSERAND</surname>
              </persName>
              <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
              <email type="domain">cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2010-01-11 11:46:01</date>
              <date type="whenModified">2025-10-13 09:44:14</date>
              <date type="whenReleased">2010-01-11 13:31:07</date>
              <date type="whenProduced">1997-09-25</date>
              <date type="whenEndEmbargoed">2010-01-11</date>
              <ref type="file" target="https://theses.hal.science/tel-00445752v1/document">
                <date notBefore="2010-01-11"/>
              </ref>
              <ref type="file" n="1" target="https://theses.hal.science/tel-00445752v1/file/phd.pdf" id="file-445752-1052790">
                <date notBefore="2010-01-11"/>
              </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">tel-00445752</idno>
            <idno type="halUri">https://theses.hal.science/tel-00445752</idno>
            <idno type="halBibtex">tisserand:tel-00445752</idno>
            <idno type="halRefHtml">Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 1997. Français. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 1997. Français. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-445752-1052790"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="PRUNEL">Ecole Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="THESES-ENS-LYON">Thèses de l'ENS de Lyon</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Arithmetic architecture adequacy, problems and case study</title>
                <title xml:lang="fr">Adéquation arithmétique architecture, problèmes et étude de cas</title>
                <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-35418"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">1997-09-25</date>
                </imprint>
                <authority type="institution">Ecole normale supérieure de lyon - ENS LYON</authority>
                <authority type="school">informatique</authority>
                <authority type="supervisor">Jean-Michel Muller(jean-michel.muller@ens-lyon.fr)</authority>
                <authority type="jury">Luigi Dadda (rapporteur)</authority>
                <authority type="jury">Daniel Etiemble (rapporteur)</authority>
                <authority type="jury">Jean-Michel Muller (directeur de thèse)</authority>
                <authority type="jury">Marc Renaudin (examinateur)</authority>
                <authority type="jury">Yves Robert (président)</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">asynchronous circuits</term>
                <term xml:lang="en">on-line computation</term>
                <term xml:lang="en">logarithmic number system</term>
                <term xml:lang="en">exact rounding</term>
                <term xml:lang="en">computer architecture</term>
                <term xml:lang="en">computer arithmetic</term>
                <term xml:lang="fr">arithmétique des ordinateurs</term>
                <term xml:lang="fr">architecture des ordinateurs</term>
                <term xml:lang="fr">arrondi exact</term>
                <term xml:lang="fr">système logarithmique</term>
                <term xml:lang="fr">calcul en-ligne</term>
                <term xml:lang="fr">circuits asynchrones</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Nowadays, computers offer more and more arithmetic functions wired in hardware. Last generations of processors integrate fast hardware operators to evaluate divisions, square roots, sines, cosines, logarithms... Many references in computer arithmetic stress on the fact that changing number representation and/or using specific algorithms make it possible to build very efficient hardware operators. The goal in this thesis is to investigate and illustrate the fundmental links between computer arithmetic and computer architecture through four real problems. Self-Timed Circuits evaluate the arithmetic functions with variable input-dependent computation time. We have developed low complexity asynchronous adders, including a space efficient adder with average computation time of O(sqrt(log n)). With On-Line Arithmetic, numbers flow serially, one digit each clock cycle, most significant digit first. All the functions can be implemented with on-line arithmetic whereas common serial arithmetic, least significant digit first, is restricted to addition and multiplication. I described in VHDL a set of on-line operators much smaller that require less I/O pads than their parallel counterpart. To attain Exact Rounding of the Elementary Functions one has to estimate the appropriate internal precision required for each function (sine, cosine...). We detail here a method which allow reasonnably fast exact rounding of the elementary functions. The Semi-Logarithmic Number System is an hybrid notation that allows fast average computation in problems even in the presence of a high number of multiplications and divisions compared to the number of additions and subtractions.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Les machines actuelles offrent de plus en plus de fonctionnalités arithmétiques au niveau matériel. Les générations actuelles de processeurs proposent des opérateurs matériels rapides pour le calcul des divisions, des racines carrées, des sinus, des cosinus, des logarithmes... La littérature du domaine montre qu'en changeant notre façon de représenter les nombres et/ou en utilisant des algorithmes spécifiques de calcul, il est possible de réaliser des opérateurs matériels particulièrement efficaces. Le but de cette thèse est d'étudier et d'illustrer les liens profonds existants entre l'arithmétique et l'architecture des ordinateurs à travers quatre problèmes. Les Opérateurs Arithmétiques Asynchrones permettent de calculer les fonctions arithmétiques (addition, multiplication, division) avec un délai variable. En particulier, nous avons développé un additionneur asynchrone dont le temps moyen de calcul est O(sqrt(\log n)). L'Arithmétique En-Ligne permet de réaliser des architectures où les nombres circulent en série, chiffre par chiffre, les poids forts en tête. L'intérêt de cette arithmétique est de pouvoir calculer toutes les fonctions (en arithmétique série poids faibles en tête, il n'est pas possible de calculer les divisions et les maximums) et d'obtenir des opérateurs de petite taille avec un nombre d'entrées/sorties plus faible que leur équivalents parallèles. L'Arrondi Exact des Fonctions Elémentaires consiste à déterminer la précision intermédiaire permettant de toujours pouvoir arrondir "exactement" les résultats du calcul des fonctions élémentaires (sinus, cosinus, exponentielle...). Nous proposons dans cette thèse une méthode qui permet d'arrondir exactement les fonctions élémentaires assez rapidement. Le Système Semi-Logarithmique de Représentation des Nombres est un système permettant d'effectuer rapidement les calculs de problèmes dont le nombre de multiplications/divisions est grand devant le nombre d'additions/soustractions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" 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="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>