Babakov R. Structures and methods of synthesis of finite state machines with operational transformation of state codes

The dissertation is devoted to the solution of the scientific problem of development and research of structures and methods of synthesis of the finite state machines directed on reduction of hardware expenses in the device circuit due to adaptation of the finite state machine circuit to the given control algorithm. The object of research is the process of optimizing the circuits of finite state machines. The subject of research is the methodological bases, structures, models and methods of synthesis of finite state machines, aimed at reducing the hardware expenses in the circuit of the finite state machine. Methods of optimization of hardware expenses in circuits of digital control devices are analyzed. In the thesis the principle of operational transformation of states codes of the finite state machine based on use of arithmetic and logical operations is offered. It provides special coding of states and allows to implement the transition function of the finite state machine using a specialized datapath. Structural and mathematical models of the finite state machine with datapath of transitions which provide establishment of correspondence between a set of transitions of finite state machine and a set of operations of the datapath of transitions are developed. A modified structure of a finite state machine with datapath of transitions is developed, which provides for the establishment of correspondence between the set of operations and the set of states of the finite state machine. A method of synthesis of finite state machine with datapath of transitions has been developed, the condition for the application of which is a fixed set of operations in the datapath of transitions. Experimental researches of efficiency of the offered structures of finite state machines on criterion of hardware expenses are carried out and the area of their effective application is defined. The practical use of the thesis results is confirmed by the acts of implementation, which prove the correctness of the theoretical positions of the dissertation and the high efficiency of the developed structures and methods.