<?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-01656230</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-20T23:08:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">State Assignment of Finite-State Machines by Using the Values of Input Variables</title>
            <author role="aut">
              <persName>
                <forename type="first">Valery</forename>
                <surname>Salauyou</surname>
              </persName>
              <email type="md5">a8cce55b44b8b94eb1ce81492a8d9767</email>
              <email type="domain">mail.ru</email>
              <idno type="idhal" notation="numeric">1023062</idno>
              <idno type="halauthorid" notation="string">1116860-1023062</idno>
              <affiliation ref="#struct-474213"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michal</forename>
                <surname>Ostapczuk</surname>
              </persName>
              <idno type="halauthorid">1274879-0</idno>
              <affiliation ref="#struct-474213"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-12-05 14:57:48</date>
              <date type="whenModified">2017-12-06 01:20:57</date>
              <date type="whenReleased">2017-12-05 15:05:42</date>
              <date type="whenProduced">2017-06-16</date>
              <date type="whenEndEmbargoed">2020-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01656230v1/document">
                <date notBefore="2020-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01656230v1/file/448933_1_En_51_Chapter.pdf" id="file-1656230-1698513">
                <date notBefore="2020-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01656230</idno>
            <idno type="halUri">https://inria.hal.science/hal-01656230</idno>
            <idno type="halBibtex">salauyou:hal-01656230</idno>
            <idno type="halRefHtml">&lt;i&gt;16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)&lt;/i&gt;, Jun 2017, Bialystok, Poland. pp.592-603, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-59105-6_51"&gt;&amp;#x27E8;10.1007/978-3-319-59105-6_51&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.592-603, &amp;#x27E8;10.1007/978-3-319-59105-6_51&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1656230-1698513"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC8" corresp="IFIP-TC">IFIP-TC8: Information Systems</idno>
            <idno type="stamp" n="IFIP-CISIM">IFIP-CISIM</idno>
            <idno type="stamp" n="IFIP-LNCS-10244" corresp="IFIP-LNCS">Computer Information Systems and Industrial Management (CISIM 2017)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 6: Modelling and Optimization</note>
            <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">State Assignment of Finite-State Machines by Using the Values of Input Variables</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Valery</forename>
                    <surname>Salauyou</surname>
                  </persName>
                  <email type="md5">a8cce55b44b8b94eb1ce81492a8d9767</email>
                  <email type="domain">mail.ru</email>
                  <idno type="idhal" notation="numeric">1023062</idno>
                  <idno type="halauthorid" notation="string">1116860-1023062</idno>
                  <affiliation ref="#struct-474213"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michal</forename>
                    <surname>Ostapczuk</surname>
                  </persName>
                  <idno type="halauthorid">1274879-0</idno>
                  <affiliation ref="#struct-474213"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)</title>
                  <date type="start">2017-06-16</date>
                  <date type="end">2017-06-18</date>
                  <settlement>Bialystok</settlement>
                  <country key="PL">Poland</country>
                </meeting>
                <editor>Khalid Saeed</editor>
                <editor>Władysław Homenda</editor>
                <editor>Rituparna Chaki</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Computer Information Systems and Industrial Management</biblScope>
                  <biblScope unit="volume">LNCS-10244</biblScope>
                  <biblScope unit="pp">592-603</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-59105-6_51</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Look up table</term>
                <term xml:lang="en">State splitting</term>
                <term xml:lang="en">Area minimization</term>
                <term xml:lang="en">State assignment</term>
                <term xml:lang="en">Field programmable gate array (FPGA)</term>
                <term xml:lang="en">Finite state machine (FSM)</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="shs.info">Humanities and Social Sciences/Library and information sciences</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>In this paper, we propose the method of FSM synthesis on field programmable gate arrays (FPGAs) when input variables are used for state assignment. For this purpose we offer a combined structural model of class A and class E FSMs. This paper also describes in detail the algorithms for synthesis a class AE FSM which consists of splitting of internal states for performance of necessary conditions for synthesis of the class E FSM and state assignment of the class AE FSM. It is shown that the proposed method reduces the area for all families of FPGAs by a factor of 1.19–1.39 on average and by a factor of three for certain families. Practical issues concerning the method and the specific features of its use are discussed, and possible directions of the elaboration of this approach are proposed.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 8</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-474213" status="VALID">
          <orgName>Białystok University of Technology</orgName>
          <date type="start">2016-12-01</date>
          <desc>
            <address>
              <country key="PL"/>
            </address>
            <ref type="url">http://pb.edu.pl/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>