Geodesic
Synthesis of easily testable circuits in the basis $\{\,\vee,\bar{\vphantom{x}}\,\}$ under single-type constant faults at the outputs of elements
Diskretnaya Matematika, Tome 17 (2005) no. 1, pp. 129-140 
Yu. V. Borodina. Synthesis of easily testable circuits in the basis $\{\&,\vee,\bar{\vphantom{x}}\,\}$ under single-type constant faults at the outputs of elements. Diskretnaya Matematika, Tome 17 (2005) no. 1, pp. 129-140. http://geodesic.mathdoc.fr/item/DM_2005_17_1_a9/
@article{DM_2005_17_1_a9,
     author = {Yu. V. Borodina},
     title = {Synthesis of easily testable circuits in the basis $\{\&,\vee,\bar{\vphantom{x}}\,\}$ under single-type constant faults at the outputs of elements},
     journal = {Diskretnaya Matematika},
     pages = {129--140},
     year = {2005},
     volume = {17},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2005_17_1_a9/}
}
TY  - JOUR
AU  - Yu. V. Borodina
TI  - Synthesis of easily testable circuits in the basis $\{\&,\vee,\bar{\vphantom{x}}\,\}$ under single-type constant faults at the outputs of elements
JO  - Diskretnaya Matematika
PY  - 2005
SP  - 129
EP  - 140
VL  - 17
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/DM_2005_17_1_a9/
LA  - ru
ID  - DM_2005_17_1_a9
ER  - 
%0 Journal Article
%A Yu. V. Borodina
%T Synthesis of easily testable circuits in the basis $\{\&,\vee,\bar{\vphantom{x}}\,\}$ under single-type constant faults at the outputs of elements
%J Diskretnaya Matematika
%D 2005
%P 129-140
%V 17
%N 1
%U http://geodesic.mathdoc.fr/item/DM_2005_17_1_a9/
%G ru
%F DM_2005_17_1_a9

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

We suggest a method to synthesise easily testable circuits of functional elements over the basis $\{\,\vee,\bar{\vphantom{x}}\,\}$ which realise Boolean functions such that at most $h$ variables occur both with and without negation in their disjunctive normal forms. Constant faults of type $1$ at outputs of elements are allowed. It is proved that a complete test for such circuits is of length at most $h$. This research was supported by the Russian Foundation for Basic Research, grant 02–01–00985; by the program of the President of Russian Federation for supporting leading scientific schools, grant 1087.2003.1; by the program ‘Universities of Russia;’ and by the program of basic research of the Department of Mathematical Sciences ‘Algebraic and Combinatoric Methods of Mathematical Cybernetics.’

[1] Chegis I. A., Yablonskii S. V., “Logicheskie sposoby kontrolya raboty elektricheskikh skhem”, Tr. MIAN, 51, 1958, 5–142

[2] Lupanov O. B., Asimptoticheskie otsenki slozhnosti upravlyayuschikh sistem, MGU, Moskva, 1984

[3] Yablonskii S. V., Vvedenie v diskretnuyu matematiku, Vysshaya shkola, Moskva, 2002

[4] Yablonskii S. V., “Nekotorye voprosy nadezhnosti i kontrolya upravlyayuschikh sistem”, Matem. voprosy kibern., 1 (1988), 5–25 | MR | Zbl

[5] Redkin N. P., Nadezhnost i diagnostika skhem, MGU, Moskva, 1992

[6] Karibskii V. V., Parkhomenko P. P., Sogomonyan E. S., Khalchev V. F., Osnovy tekhnicheskoi diagnostiki, Energiya, Moskva, 1976

[7] Redkin N. P., “O skhemakh, dopuskayuschikh korotkie testy”, Vestn. Mosk. un-ta, ser. 1: matem., mekh., 1988, no. 2, 17–21 | MR

[8] Sholomov L. A., Osnovy teorii diskretnykh logicheskikh i vychislitelnykh ustroistv, Nauka, Moskva, 1980 | Zbl