Алгебраический синтез микропрограммного автомата с операционным автоматом переходов

Abstract

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.