Logic Synthesis for Control Automata

Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.e. the number of inputs, outputs and states. These techniques cover all stages of control unit design, including:

• description of control unit behavior by using operator schemes of algorithms (binary decision trees) and various transformations of these descriptions — composition, decomposition, minimization, etc.;
• synthesis of a control a...