Design of LUT-based Mealy FSMs with Counters

A. Barkalov, L. Titarenko (Univ. Zielona Gora, Poland), S. Chmielewski (State Univ. of Applied Sciences in Głogów, Poland)

The article presents a novel method for diminishing the hardware amount in LUT-based Mealy FSMs. The method targets FSMs with state counters. It is based on replacement of FSM inputs by additional variables. To decrease the number of literals, the pairs of inputs are encoded. An example of synthesis is shown.