<?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-01925946</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-17T20:04:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Majority logic synthesis</title>
            <author role="aut">
              <persName>
                <forename type="first">Luca</forename>
                <surname>Amarù</surname>
              </persName>
              <idno type="halauthorid">1459710-0</idno>
              <affiliation ref="#struct-30746"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eleonora</forename>
                <surname>Testa</surname>
              </persName>
              <idno type="halauthorid">1459711-0</idno>
              <affiliation ref="#struct-302851"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Miguel</forename>
                <surname>Couceiro</surname>
              </persName>
              <email type="md5">f529b06ac4780b9b07b39d207edbf60f</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">miguel-couceiro</idno>
              <idno type="idhal" notation="numeric">1498</idno>
              <idno type="halauthorid" notation="string">17246-1498</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2316-7623</idno>
              <idno type="IDREF">https://www.idref.fr/223362395</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=6w-xX8sAAAAJ</idno>
              <affiliation ref="#struct-205125"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Odysseas</forename>
                <surname>Zografos</surname>
              </persName>
              <idno type="halauthorid">1459712-0</idno>
              <affiliation ref="#struct-1052134"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Giovanni</forename>
                <surname>de Micheli</surname>
              </persName>
              <idno type="halauthorid">616170-0</idno>
              <affiliation ref="#struct-302851"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mathias</forename>
                <surname>Soeken</surname>
              </persName>
              <idno type="halauthorid">1073754-0</idno>
              <affiliation ref="#struct-302851"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Miguel</forename>
                <surname>Couceiro</surname>
              </persName>
              <email type="md5">1090c3ea2d8280fa0028311c6ba45d22</email>
              <email type="domain">loria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-12-02 12:36:47</date>
              <date type="whenModified">2026-02-07 05:15:41</date>
              <date type="whenReleased">2018-12-03 10:07:24</date>
              <date type="whenProduced">2018-11-05</date>
              <date type="whenEndEmbargoed">2018-12-02</date>
              <ref type="file" target="https://inria.hal.science/hal-01925946v1/document">
                <date notBefore="2018-12-02"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01925946v1/file/paper.pdf" id="file-1941780-1968087">
                <date notBefore="2018-12-02"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="304220">
                <persName>
                  <forename>Miguel</forename>
                  <surname>Couceiro</surname>
                </persName>
                <email type="md5">1090c3ea2d8280fa0028311c6ba45d22</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01925946</idno>
            <idno type="halUri">https://inria.hal.science/hal-01925946</idno>
            <idno type="halBibtex">amaru:hal-01925946</idno>
            <idno type="halRefHtml">&lt;i&gt;ICCAD 2018 - IEEE/ACM International Conference on Computer-Aided Design&lt;/i&gt;, Nov 2018, San Diego, United States. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3240765.3267501"&gt;&amp;#x27E8;10.1145/3240765.3267501&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ICCAD 2018 - IEEE/ACM International Conference on Computer-Aided Design, Nov 2018, San Diego, United States. &amp;#x27E8;10.1145/3240765.3267501&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1941780-1968087"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-EPFL">Inria EPFL</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-NLPKD" corresp="LORIA">Department of Natural Language Processing &amp; Knowledge Discovery</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</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">Majority logic synthesis</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Luca</forename>
                    <surname>Amarù</surname>
                  </persName>
                  <idno type="halauthorid">1459710-0</idno>
                  <affiliation ref="#struct-30746"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eleonora</forename>
                    <surname>Testa</surname>
                  </persName>
                  <idno type="halauthorid">1459711-0</idno>
                  <affiliation ref="#struct-302851"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Miguel</forename>
                    <surname>Couceiro</surname>
                  </persName>
                  <email type="md5">f529b06ac4780b9b07b39d207edbf60f</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">miguel-couceiro</idno>
                  <idno type="idhal" notation="numeric">1498</idno>
                  <idno type="halauthorid" notation="string">17246-1498</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2316-7623</idno>
                  <idno type="IDREF">https://www.idref.fr/223362395</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=6w-xX8sAAAAJ</idno>
                  <affiliation ref="#struct-205125"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Odysseas</forename>
                    <surname>Zografos</surname>
                  </persName>
                  <idno type="halauthorid">1459712-0</idno>
                  <affiliation ref="#struct-1052134"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Giovanni</forename>
                    <surname>de Micheli</surname>
                  </persName>
                  <idno type="halauthorid">616170-0</idno>
                  <affiliation ref="#struct-302851"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mathias</forename>
                    <surname>Soeken</surname>
                  </persName>
                  <idno type="halauthorid">1073754-0</idno>
                  <affiliation ref="#struct-302851"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ICCAD 2018 - IEEE/ACM International Conference on Computer-Aided Design</title>
                  <date type="start">2018-11-05</date>
                  <date type="end">2018-11-08</date>
                  <settlement>San Diego</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3240765.3267501</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</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>The majority function ⟨xyz⟩ evaluates to true, if at least two of its Boolean inputs evaluate to true. The majority function has frequently been studied as a central primitive in logic synthesis applications for many decades. Knuth refers to the majority function in the last volume of his seminal The Art of Computer Programming as "probably the most important ternary operation in the entire universe. " Majority logic sythesis has recently regained signficant interest in the design automation community due to nanoemerging technologies which operate based on the majority function. In addition , majority logic synthesis has successfully been employed in CMOS-based applications such as standard cell or FPGA mapping. This tutorial gives a broad introduction into the field of majority logic synthesis. It will review fundamental results and describe recent contributions from theory, practice, and applications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-30746" status="VALID">
          <orgName>Synopsys Inc.</orgName>
          <desc>
            <address>
              <addrLine>700 E Middlefield Rd, Mountain View, CA 94043</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.synopsys.com</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300990" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-302851" status="VALID">
          <idno type="IdRef">029644631</idno>
          <idno type="ROR">https://ror.org/02s376052</idno>
          <orgName>Ecole Polytechnique Fédérale de Lausanne</orgName>
          <orgName type="acronym">EPFL</orgName>
          <desc>
            <address>
              <addrLine>CH-1015 Lausanne, Switzerland</addrLine>
              <country key="CH"/>
            </address>
            <ref type="url">https://www.epfl.ch</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-205125" status="OLD">
          <idno type="RNSR">200818291B</idno>
          <orgName>Knowledge  representation, reasonning</orgName>
          <orgName type="acronym">ORPAILLEUR</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2020-06-30</date>
          <desc>
            <address>
              <addrLine>Centre Inria de l'Université de Lorraine , 615 Rue du Jardin-Botanique, 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423086" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1052134" status="VALID">
          <idno type="ISNI">0000 0001 2215 0390</idno>
          <idno type="ROR">https://ror.org/02kcbn207</idno>
          <orgName>Interuniversity Microelectronics Centre</orgName>
          <orgName type="acronym">imec</orgName>
          <date type="start">1984-01-01</date>
          <desc>
            <address>
              <addrLine>Remisebosweg 1, 3001 Leuven</addrLine>
              <country key="BE"/>
            </address>
            <ref type="url">https://www.imec-int.com/en</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300990" status="VALID">
          <orgName>Synopsys Inc.</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</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="department" xml:id="struct-423086" status="VALID">
          <orgName>Department of Natural Language Processing &amp; Knowledge Discovery</orgName>
          <orgName type="acronym">LORIA - NLPKD</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/natural-language-processing-and-knowledge-discovery/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.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>