Geodesic
A~method for the design of combinational circuits suitable for control
Diskretnaya Matematika, Tome 5 (1993) no. 4, pp. 3-23.

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

We present a method for the design of a combinational circuit suitable for control that realizes a system of two Boolean functions of $n+3$ variables. A subfunction of one of these functions is a given arbitrary Boolean function of $n$ variables. We admit the possibility that inaccuracies of a very wide class may appear in the circuit. There are no constraints on the choice of an element basis except the requirement that the basis be complete. We give estimates for the complexity of the circuit and the length of a test verifying this circuit. Under certain constraints on the number of blocks that can be simultaneously inaccurate, the method presented leads to the construction of asymptotically minimal circuits for almost all Boolean functions. 
@article{DM_1993_5_4_a0,
     author = {V. N. Noskov},
     title = {A~method for the design of combinational circuits suitable for control},
     journal = {Diskretnaya Matematika},
     pages = {3--23},
     publisher = {mathdoc},
     volume = {5},
     number = {4},
     year = {1993},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_1993_5_4_a0/}
}
TY  - JOUR
AU  - V. N. Noskov
TI  - A~method for the design of combinational circuits suitable for control
JO  - Diskretnaya Matematika
PY  - 1993
SP  - 3
EP  - 23
VL  - 5
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_1993_5_4_a0/
LA  - ru
ID  - DM_1993_5_4_a0
ER  - 
%0 Journal Article
%A V. N. Noskov
%T A~method for the design of combinational circuits suitable for control
%J Diskretnaya Matematika
%D 1993
%P 3-23
%V 5
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_1993_5_4_a0/
%G ru
%F DM_1993_5_4_a0
V. N. Noskov. A~method for the design of combinational circuits suitable for control. Diskretnaya Matematika, Tome 5 (1993) no. 4, pp. 3-23. http://geodesic.mathdoc.fr/item/DM_1993_5_4_a0/