On Digital Circuit Optimization Using Automata Equations

В данной работе рассматривается подход к оптимизации многокомпонентных цифровых схем на основе решения автоматных уравнений. Показывается, в частности, каким образом можно минимизировать число связей между компонентами схемы на основе функциональной зависимости.The paper is devoted to combinational circuit optimization based on automata equation solving. We show how the flexibility of a component circuit can be calculated when using behavioral functions and propose a technique for checking whether some output functions can be simplified. For example, we show how to chek whether there exists an output function that can equal to 0 or to 1 or whether two output functions can be equal up to the inversion. The proposed technique is illustrated by a simple example