Abstract
This chapter presents the original methods of hardware reduction based on the transformation of object codes of Mealy FSMs. The principle of object code transformation (OCT) is introduced. Two types of objects are introduced: internal states and collections of microoperations. Two types of basic models of Mealy FSMs with OCT are described. The design methods are proposed for the EMB-based FSMs with transformation of states into the collections of microoperations. Next, the design methods are shown allowing the transformation of the collections of microoperations into the states. The models of FSMs with the replacement of logical conditions and OCT are discussed. At last, the analysis of the proposed methods is executed giving conditions of their application.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Barkalov, A. Barkalov Jr, Synthesis of Finite-State Machines with transformation of the object’s codes. In Proceedings of the International Conference TCSET’2004 pp. 61–64, Lviv, Ukraina, 2004. Lviv Polytechnic National University, Lviv, Publishing House of Lviv Polytechnic
A. Barkalov, A. Barkalov Jr, Design of Mealy Finite-State Machines with the transformation of object codes. Int. J. Appl. Math. Comput. Sci. 15(1), 151–158 (2005)
A. Barkalov, L. Titarenko, Logic Synthesis for FSM-based Control Units, vol. 53. Lecture Notes in Electrical Engineering (Springer, Berlin, 2009)
A. Barkalov, L. Titarenko, A. Barkalov Jr, Moore FSM synthesis with coding of compatible microoperations fields. In Proceedings of IEEE East-West Design & Test Symposium—EWDTS’07, pp. 644–646, Yerevan, Armenia, Kharkov, 2007. Kharkov National University of Radioelectronics
A. Barkalov, L. Titarenko, A. Barkalov Jr, Structural decomposition as a tool for the optimization of an FPGA-based implementation of a mealy FSM. Cybern. Syst. Anal. 48(2), 313–322 (2012)
A. Barkalov, A. Węgrzyn, A. Barkalov Jr, Synthesis of control units with transformation of the codes of objects. In Proceedings of the IXth International Conference CADSM 2007 (The Experience of Designing and Application of CAD Systems in Microelectronics), pp. 260–261, Lviv - Polyana, Ukraine, 2007. Lviv Polytechnic National University, Lviv, Publishing House of Lviv Polytechnic National University
E. McCluskey, Logic Design Principles (Prentice Hall, Englewood Cliffs, 1986)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Barkalov, A., Titarenko, L., Kolopienczyk, M., Mielcarek, K., Bazydlo, G. (2016). Object Codes Transformation for Mealy FSMs . In: Logic Synthesis for FPGA-Based Finite State Machines. Studies in Systems, Decision and Control, vol 38. Springer, Cham. https://doi.org/10.1007/978-3-319-24202-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-24202-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24200-2
Online ISBN: 978-3-319-24202-6
eBook Packages: EngineeringEngineering (R0)