Abstract
Two models of logic circuits are proposed for the implementation of Mealy FSMs. The models are underlain by FPGAs with embedded memory blocks and are based on a transformation of object codes. To decrease the number of lookup table elements, it is proposed to decrease the number of irregular functions representing FSMs. An example of design and results of experiments are given for the proposed synthesis method based on the transformation of codes of collections of microoperations into state codes of FSMs.
Similar content being viewed by others
References
S. Baranov, Logic and System Design of Digital Systems, TUT Press, Tallinn (2008).
P. Minks and I. Eliot, FSM-Based Digital Design Using Verilog, Wiley, London (2008).
R. I. Grushvitskii, A. Kh. Mursaev, and E. P. Ugryumov, Design of Systems on VLSI with Programmable Logic [in Russian], BHV-Peterburg, St. Petersburg (2002).
S. Maxfield, The Design Warrior’s Guide to FPGAs, Elsevier, Amsterdam (2004).
G. De Micheli, Synthesis and Optimization of Digital Circuits, McGraw Hill, N.Y. (1994).
A. A. Barkalov and L. A. Titarenko, Synthesis of Microprogram Automata on Custom-Made and Programmable VLSICs [in Russian], UNITEKh, Donetsk (2009).
A. Bukowiec, Synthesis of Finite State Machines for Programmable Devices Based on Multi-Level Implementation, UZ Press, Zielona Gora (2009).
A. Barkalov and A. Barkalov, “Design of Mealy finite state machines with transformation of object codes,” Appl. Mathematics and Comput. Sci., 15, No. 1, 151–158 (2005).
C. Scholl, Functional Decomposition with Application to FPGA Synthesis, Kluwer, Boston (2001).
R. Czerwinski, D. Kania and I. Kulisz, “FSM state encoding targeting at logic level minimization,” Bulletin of the Polish Academ. Sci., 54, No. 4, 479–487 (20060.
A. Barkalov and L. Titarenko, Logic Synthesis for FSM-Based Control Units, Springer, Berlin (2009).
V. V. Solov’ev and A. Klimovich, Logical Design of Digital Systems based on Programmable Logic Devices [in Russian], Goryachaya Liniya–Telekom, Moscow (2008).
S. Yang, Logic Synthesis and Optimization Benchmarks User Guide, Techn. Rep. No. 1991 – IWLS – UG – Saeyang, Microelectronics Center of North Carolina (1991).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 177–187, March–April 2012.
Rights and permissions
About this article
Cite this article
Barkalov, A.A., Titarenko, L.A. & Barkalov, A.A. Structural decomposition as a tool for the optimization of an FPGA-based implementation of a mealy FSM. Cybern Syst Anal 48, 313–322 (2012). https://doi.org/10.1007/s10559-012-9410-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-012-9410-2