Symbolic two-dimensional minimization of strongly unspecified finite state machines

Perkowski, M. A.; Jóźwiak, L.; Zhao, W.

doi:10.1016/s1383-7621(00)00038-2

Cited by 3 publications

(1 citation statement)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [10], various encodings used in the design language VHDL are studied. In [11,12], the minimization of incompletely specified FSMs is studied. The method for the decomposition of FSMs described in [13] is designed for the minimization of the implementation cost and improving the perfor mance; the functional decomposition method presented in [14] is used for the implementation of FSMs using PLD memory blocks.…”

Section: Introductionmentioning

confidence: 99%

A method for minimizing Moore finite-state machines by merging two states

Klimovich

Соловьев²

2011

J. Comput. Syst. Sci. Int.

View full text Add to dashboard Cite

The problem of minimization of Moore finite-state machines (FSMs) is considered. This problem often arises in designing digital devices based on programmable logic devices. The proposed approach uses the operation of merging of two states of an FSM and the representation of the FSM as a list of transitions. Conditions guaranteeing the identical operation and deterministic behavior of the transformed FSM obtained by merging two states are given. The cases when wait states can emerge are also discussed. Algorithms for minimizing the number of internal states, transition paths, and the number input variables of Moore FSMs are described. Experimental results have shown that the pro posed approach reduces the number of internal states by 6% on the average and sometimes by a factor of 1.86; the number of transitions is reduced by 20% on the average and sometimes by a factor of 2.83. The use of the proposed method in combination with the STAMINA computer program reduces the number of internal states by 16% on the average and sometimes by a factor of 2.17; the number of tran sitions is reduced by 41% on the average and sometimes by a factor of 7.97. In conclusion, important directions of research concerning the minimization of FSMs are discussed.

show abstract

Section: Introductionmentioning

confidence: 99%