Barkalov A.A., Titarenko L.A., Baev A.V., Matviienko A.V.
Twofold state assignment for Moore finite state machines

A method is proposed for reducing the hardware expenditure in the circuits of the Moore finite-state machines (FSMs) implemented in the EMB and LUT basis. The method is based on splitting a set of states into classes, with each of them corresponding to one block of logic elements. Moreover, each state has two codes. This approach leads to the three-level circuit of the Moore FSM. An example of the Moore FSM synthesis using the proposed method and the application conditions for this method are considered. Studies based on the standard benchmark FSMs have shown that the proposed method reduces the hardware expenditure compared to the other known solutions. © 2023, Springer Science+Business Media, LLC, part of Springer Nature.

Keywords: EMB, LUT, Moore FSM, partition, structural decomposition, synthesis, Condition, EMB, Finite states machine, Logic-elements, LUT, Moore finite-state machine, Partition, Splittings, Structural decomposition, Three-level

Cite:
Barkalov A.A., Titarenko L.A., Baev A.V., Matviienko A.V. (2023). Twofold state assignment for Moore finite state machines. Cybernetics and Systems Analysis, 59 (1), 33–45. doi: https://doi.org/10.1007/s10559-023-00539-5 http://jnas.nbuv.gov.ua/article/UJRN-0001380502 [In Ukrainian].