Synthesis of Temporal Machines with Operational Transformation of State Codes

Abstract

The actual scientific problem of development methods aimed at reducing of hardware expenses in the logical circuit of the finite state machine, is solved by adaptation of the finite state machine (FSM) circuit to the characteristics of the implemented control algorithm. The object of the research encompasses process of optimization of finite state machines circuits. The subject of the research is the models and methods of synthesis of finite state machines, aimed at reducing the hardware expenses in the circuit of the machine. The research is based on a systematic analysis of the results of modern theoretical and applied developments made by domestic and foreign scientists in the digital control units sphere. The theoretical novelty is distinguished by the fact that a method is proposed for choosing constants in operations for operational state transitions on the base of the determinant of the matrix. The practical novelty lies in the implementation in Quartus by the behavioral method, in contrast to the classical method.