Abstract
The chapter is devoted to original optimization methods oriented on decrease of the number of outputs for FSM block generating input memory functions. These methods are based on the object code transformation. The FSM objects are either states or collections of microoperations. Sometimes, some additional identifiers are needed for one-to-one representation of different objects. Such optimization methods are discussed for both Mealy and Moore finite state machines. At last, the multilevel models of FSM with object code transformation, logical condition replacement and encoding of collections of microoperations are discussed. This chapter is written together with employee of ”Nokia-Siemens Network” Alexander Barkalov (Ukraine).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baranov, S.I.: Logic Synthesis of Control Automata. Kluwer Academic Publishers, Dordrecht (1994)
Barkalov, A., Barkalov Jr., A.: Design of mealy finite-state machines with the transformation of object codes. International Journal of Applied Mathematics and Computer Science 15(1), 151–158 (2005)
Barkalov, A., Barkalov, A.: Synthesis of finite state machines with transformation of the object’s codes. In: Proc. of the Inter. Conf. TCSET 2004, Lviv, Ukraina, pp. 61–64. Lviv Polytechnic National University, Publishing House of Lviv Polytechnic, Lviv (2004)
Barkalov, A., Titarenko, L.: Synthesis of Operational and Control Automata. UNITECH, Donetsk (2009)
Barkalov, A., Titarenko, L., Barkalov Jr., A.: Moore fsm synthesis with coding of compatible microoperations fields. In: Proc. of IEEE East-West Design & Test Symposium - EWDTS 2007, Yerevan, Armenia, pp. 644–646. Kharkov National University of Radioelectronics, Kharkov (2007)
Barkalov, A., Wêgrzyn, A., Barkalov Jr., A.: Synthesis of control units with transformation of the codes of objects. In: Proc. of the IXth Inter. Conf. CADSM 2007, Lviv - Polyana, Ukraine, pp. 260–261. Lviv Polytechnic National University, Publishing House of Lviv Polytechnic National University, Lviv (2007)
Barkalov, A.A.: Principles of optimization of logic circuit of Moore FSM. Cybernetics and System Analysis (1), 65–72 (1998) (in Russian)
Minns, P., Elliot, I.: FSM-based digital design using Verilog HDL. John Wiley and Sons, Chichester (2008)
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Barkalov, A., Titarenko, L. (2009). FSM Synthesis with Object Code Transformation. In: Logic Synthesis for FSM-Based Control Units. Lecture Notes in Electrical Engineering, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04309-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-04309-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04308-6
Online ISBN: 978-3-642-04309-3
eBook Packages: EngineeringEngineering (R0)