Algebraic synthesis of microprogram final-state machine with datapath of transitions

Для мікропрограмного автомата з операційним автоматом переходів сформульовано задачу алгебраїчного синтезу як частини процесу структурного синтезу даного класу автоматів. Дане формальне визначення рішення задачі алгебраїчного синтезу. Уведене поняття методології алгебраїчного синтезу. Запропонований загальний алгоритм алгебраїчного синтезу, оснований на повному переборі із обмеженнями.Для микропрограммного автомата с операционным автоматом переходов сформулирована задача алгебраического синтеза, представленная частью процесса структурного синтеза данного класса автоматов. Дано формальное определение решения задачи алгебраического синтеза. Введено понятие методологии алгебраического синтеза. Предложен общий алгоритм алгебраического синтеза, основанный на полном переборе с ограничениями.For a microprogram final-state machine with datapath of transition, the problem of algebraic synthesis, which is a part of the process of structural synthesis of a given class of final-state machine, is formulated. A formal definition of the solution of the problem of algebraic synthesis is given. The concept of the methodology of algebraic synthesis is introduced. A general algorithm for algebraic synthesis based on a full search with constraints is proposed