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

Autor: Michal Ostapczuk, Valery Salauyou
Rok vydání: 2020
Předmět:
Zdroj: Theory and Applications of Dependable Computer Systems ISBN: 9783030482558
DOI: 10.1007/978-3-030-48256-5_53
Popis: Structural models of finite-state machines (FSMs) that make it possible to use the values of the output variables for encoding the internal states are studied. To minimize the area (the parameter area is used to denote cost in the context of this paper) of FSM implementation, it is proposed to use the structural model of the class D FSM. A method for the design of the class D FSM in FPGA is proposed. This method involves two phases—splitting the internal states of the FSM (to satisfy the necessary conditions for the construction of the class D FSM) and encoding the internal states (to ensure that the codes are mutually orthogonal). It is shown that the proposed method reduces the area of FSM implementation for all families of FPGAs of various manufacturers by a factor of 1.85–2.67 on average and by a factor of 5.7 for certain cases. 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.
Databáze: OpenAIRE