Journal of Siberian Federal University. Mathematics & Physics / On Digital Circuit Optimization Using Automata Equations

Full text (.pdf)
Issue
Journal of Siberian Federal University. Mathematics & Physics. 2008 1 (3)
Authors
Kushik, Nataly G.; Reckun, Mariya V.
Contact information
Наталья Г.Кушик: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email: ; Мария В.Рекун: Томский государственный университет, email: пр. Ленина 36, Томск, 634050, Россия, email:
Abstract

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.

Pages
290-295
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/769