Geodesic
On Digital Circuit Optimization Using Automata Equations
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 1 (2008) no. 3, pp. 290-295.

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: digital circuit
Mots-clés : automata equation. 
@article{JSFU_2008_1_3_a7,
     author = {Nataly G. Kushik and Mariya V. Reckun},
     title = {On {Digital} {Circuit} {Optimization} {Using} {Automata} {Equations}},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {290--295},
     publisher = {mathdoc},
     volume = {1},
     number = {3},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2008_1_3_a7/}
}
TY  - JOUR
AU  - Nataly G. Kushik
AU  - Mariya V. Reckun
TI  - On Digital Circuit Optimization Using Automata Equations
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2008
SP  - 290
EP  - 295
VL  - 1
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2008_1_3_a7/
LA  - ru
ID  - JSFU_2008_1_3_a7
ER  - 
%0 Journal Article
%A Nataly G. Kushik
%A Mariya V. Reckun
%T On Digital Circuit Optimization Using Automata Equations
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2008
%P 290-295
%V 1
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2008_1_3_a7/
%G ru
%F JSFU_2008_1_3_a7
Nataly G. Kushik; Mariya V. Reckun. On Digital Circuit Optimization Using Automata Equations. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 1 (2008) no. 3, pp. 290-295. http://geodesic.mathdoc.fr/item/JSFU_2008_1_3_a7/

[1] Yevtushenko N., Villa T., Brayton R., Petrenko A., Sangiovanni-Vincentelli A., “Logic synthesis by equation solving”, Proc. of the XVI Intern. Workshop on Logic Synthesis, Dana Point, CA, 2000

[2] Vetrova (Rekun) M. V., Razrabotka algoritmov sinteza i testirovaniya konechno avtomatnykh kompensatorov, Dis. ... kand. tekhn. nauk, Tomsk, 2003

[3] Zharikova S. V., Evtushenko N. V., “Reshenie avtomatnogo uravneniya dlya mnogomodulnoi kompozitsii”, Vestnik TGU. Prilozhenie, 2007, no. 23

[4] Zaikin O. S., Semenov A. A., Sidorov I. A., Feoktistov A. G., “Parallelnaya tekhnologiya resheniya SAT-zadach s primeneniem paketa prikladnykh programm D-SAT”, Vestnik TGU. Prilozhenie, 2007, no. 23

[5] CUDD, Electronic resource http://vlsi.colorado.edu/~fabio/CUDD