Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

State Assignment of Finite-State Machines by Using the Values of Input Variables

Abstract : 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.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, December 5, 2017 - 2:57:48 PM
Last modification on : Wednesday, December 6, 2017 - 1:20:57 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Valery Salauyou, Michal Ostapczuk. State Assignment of Finite-State Machines by Using the Values of Input Variables. 16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.592-603, ⟨10.1007/978-3-319-59105-6_51⟩. ⟨hal-01656230⟩



Record views


Files downloads