<?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 ensl-00532829</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-09T01:33:44+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">How to square floats accurately and efficiently on the ST231 integer processor</title>
            <author role="crp">
              <persName>
                <forename type="first">Claude-Pierre</forename>
                <surname>Jeannerod</surname>
              </persName>
              <email type="md5">d77e2c115069d9adc4f2fcfcc7bca4ee</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="numeric">855152</idno>
              <idno type="halauthorid" notation="string">120033-855152</idno>
              <idno type="IDREF">https://www.idref.fr/11107021X</idno>
              <affiliation ref="#struct-178327"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jingyan</forename>
                <surname>Jourdan-Lu</surname>
              </persName>
              <email type="md5">95f693372740cf429cc7adbac37a42fa</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">914490</idno>
              <idno type="halauthorid" notation="string">517869-914490</idno>
              <affiliation ref="#struct-178327"/>
              <affiliation ref="#struct-392077"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Monat</surname>
              </persName>
              <email type="md5">125bc90354f45859cc21639dc2e3ed98</email>
              <email type="domain">st.com</email>
              <idno type="idhal" notation="numeric">855154</idno>
              <idno type="halauthorid" notation="string">142975-855154</idno>
              <affiliation ref="#struct-392077"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Revy</surname>
              </persName>
              <email type="md5">60c1c27a7d42fdbd42f4fe6ac7d44e5c</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="string">guillaume-revy</idno>
              <idno type="idhal" notation="numeric">20753</idno>
              <idno type="halauthorid" notation="string">11583-20753</idno>
              <idno type="IDREF">https://www.idref.fr/14704040X</idno>
              <affiliation ref="#struct-393062"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Claude-Pierre</forename>
                <surname>Jeannerod</surname>
              </persName>
              <email type="md5">d77e2c115069d9adc4f2fcfcc7bca4ee</email>
              <email type="domain">ens-lyon.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2010-11-19 07:00:22</date>
              <date type="whenModified">2025-10-24 17:40:02</date>
              <date type="whenReleased">2010-11-04 18:50:56</date>
              <date type="whenProduced">2010-11-19</date>
              <date type="whenEndEmbargoed">2010-11-19</date>
              <ref type="file" target="https://ens-lyon.hal.science/ensl-00532829v1/document">
                <date notBefore="2010-11-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://ens-lyon.hal.science/ensl-00532829v1/file/sqr.pdf" id="file-532829-1049608">
                <date notBefore="2010-11-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="133219">
                <persName>
                  <forename>Claude-Pierre</forename>
                  <surname>Jeannerod</surname>
                </persName>
                <email type="md5">d77e2c115069d9adc4f2fcfcc7bca4ee</email>
                <email type="domain">ens-lyon.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">ensl-00532829</idno>
            <idno type="halUri">https://ens-lyon.hal.science/ensl-00532829</idno>
            <idno type="halBibtex">jeannerod:ensl-00532829</idno>
            <idno type="halRefHtml">2010</idno>
            <idno type="halRef">2010</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-532829-1049608"/></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="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-PERP">Université Perpignan Via Domitia</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</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="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="DALI" corresp="LIRMM">Digits, architectures et logiciels informatiques</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</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="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">How to square floats accurately and efficiently on the ST231 integer processor</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Claude-Pierre</forename>
                    <surname>Jeannerod</surname>
                  </persName>
                  <email type="md5">d77e2c115069d9adc4f2fcfcc7bca4ee</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="numeric">855152</idno>
                  <idno type="halauthorid" notation="string">120033-855152</idno>
                  <idno type="IDREF">https://www.idref.fr/11107021X</idno>
                  <affiliation ref="#struct-178327"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jingyan</forename>
                    <surname>Jourdan-Lu</surname>
                  </persName>
                  <email type="md5">95f693372740cf429cc7adbac37a42fa</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">914490</idno>
                  <idno type="halauthorid" notation="string">517869-914490</idno>
                  <affiliation ref="#struct-178327"/>
                  <affiliation ref="#struct-392077"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Monat</surname>
                  </persName>
                  <email type="md5">125bc90354f45859cc21639dc2e3ed98</email>
                  <email type="domain">st.com</email>
                  <idno type="idhal" notation="numeric">855154</idno>
                  <idno type="halauthorid" notation="string">142975-855154</idno>
                  <affiliation ref="#struct-392077"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Revy</surname>
                  </persName>
                  <email type="md5">60c1c27a7d42fdbd42f4fe6ac7d44e5c</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="string">guillaume-revy</idno>
                  <idno type="idhal" notation="numeric">20753</idno>
                  <idno type="halauthorid" notation="string">11583-20753</idno>
                  <idno type="IDREF">https://www.idref.fr/14704040X</idno>
                  <affiliation ref="#struct-393062"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Squaring</term>
                <term xml:lang="en">Binary floating-point arithmetic</term>
                <term xml:lang="en">Correct rounding</term>
                <term xml:lang="en">IEEE 754</term>
                <term xml:lang="en">Instruction level parallelism</term>
                <term xml:lang="en">C software implementation</term>
                <term xml:lang="en">VLIW integer processor</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ao">Computer Science [cs]/Computer Arithmetic</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We consider the problem of computing IEEE floating-point squares by means of integer arithmetic. We show how the specific properties of squaring can be exploited in order to design and implement algorithms that have much lower latency than those for general multiplication, while still guaranteeing correct rounding. Our algorithm descriptions are parameterized by the floating-point format, aim at high instruction-level parallelism (ILP) exposure, and cover all rounding modes. We show further that their C implementation for the binary32 format yields efficient codes for targets like the ST231 VLIW integer processor from STMicroelectronics, with a latency at least 1.75x smaller than that of general multiplication in the same context.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-178327" status="OLD">
          <idno type="RNSR">201221021B</idno>
          <orgName>Arithmetic and Computing</orgName>
          <orgName type="acronym">ARIC</orgName>
          <date type="start">2013-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 Lyon France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/aric</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-392077" status="INCOMING">
          <orgName>Compilation Expertise Center</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-45671" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-393062" status="OLD">
          <orgName>Digits, Architectures et Logiciels Informatiques</orgName>
          <orgName type="acronym">DALI</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Perpignan Via Domitia, Equipe-Projet DALI, Bâtiment B - 1er étage, 52 avenue Paul Alduy, F-66860 Perpignan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://webdali.univ-perp.fr</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"/>
            <relation active="#struct-101475" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</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="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="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="institution" xml:id="struct-45671" status="VALID">
          <orgName>STMicroelectronics [Grenoble]</orgName>
          <orgName type="acronym">ST-GRENOBLE</orgName>
          <desc>
            <address>
              <addrLine>12 r Jules Horowitz 38000 Grenoble</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.st.com</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="institution" xml:id="struct-101475" status="VALID">
          <idno type="ROR">https://ror.org/03am2jy38</idno>
          <orgName>Université de Perpignan Via Domitia</orgName>
          <orgName type="acronym">UPVD</orgName>
          <desc>
            <address>
              <addrLine>52 avenue Paul Alduy - 66860 Perpignan Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-perp.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>