Zashcholkin K. Models, methods and tools of a computer aided design of digital control devices with rigid logic

The dissertational is devoted to the solution of a scientifically-practical task which consists in the time reduction of synthesis and improvement of the CAD design decisions of digital control devices (DCD ) due to development of new models and methods of designing for them. Existing tools of the DCD automated methods of designing use the models which cannot describe DCD behavior in consideration of the dynamics of its reaction and are characterized by structural redundancy and necessity of performance of additional measures for maintenance of equivalence of models of the different levels. For elimination of these lacks of designing the workarounds are applied, therefore hardware support of DCD becomes complicated, its time characteristics becomes worse and complexity of process of synthesis raises. In the dissertation the new models of DCD without noted lacks are proposed. The effective methods of DCD synthesis are developed on the basis of the offered models. In work the methods of optimum coding ofthe digital automatic device conditions received the further development and it allowed reducing the hardware expenditures on the realization of function of the DCD transitions. On the basis of theoretical positions s of the dissertation, the information technology of automated designing DCD which united the offered and traditional models and methods in the integrated formalized process directed on increasing of efficiency of designing is developed. The offered information technology is realized in the form of CAD DCD.