Geodesic
Single tests for logical gates
Diskretnaya Matematika, Tome 27 (2015) no. 2, pp. 73-93.

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

The paper is concerned with checking problems for failure and state diagnostics of $N$ gates implementing in a working condition a given Boolean function $f(x_1,\ldots,x_n)$. This problem is solved by composing single-output circuits from these gates and analyzing the output values of these circuits on all input tuples of variables. An arbitrary constant malfunction at the output of any single gate is allowed. It is required to minimize the number of circuits required for a check for failure and determination of all states of all gates. Exact values for the minimal possible number of such circuits are obtained.
Keywords: gate, malfunction, circuit, fault detection test, diagnostic test. 
@article{DM_2015_27_2_a4,
     author = {K. A. Popkov},
     title = {Single tests for logical gates},
     journal = {Diskretnaya Matematika},
     pages = {73--93},
     publisher = {mathdoc},
     volume = {27},
     number = {2},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2015_27_2_a4/}
}
TY  - JOUR
AU  - K. A. Popkov
TI  - Single tests for logical gates
JO  - Diskretnaya Matematika
PY  - 2015
SP  - 73
EP  - 93
VL  - 27
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2015_27_2_a4/
LA  - ru
ID  - DM_2015_27_2_a4
ER  - 
%0 Journal Article
%A K. A. Popkov
%T Single tests for logical gates
%J Diskretnaya Matematika
%D 2015
%P 73-93
%V 27
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2015_27_2_a4/
%G ru
%F DM_2015_27_2_a4
K. A. Popkov. Single tests for logical gates. Diskretnaya Matematika, Tome 27 (2015) no. 2, pp. 73-93. http://geodesic.mathdoc.fr/item/DM_2015_27_2_a4/

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

[2] Popkov K. A., “Otsenki dlin proveryayuschikh i diagnosticheskikh testov dlya funktsionalnykh elementov”, Diskretnyi analiz i issledovanie operatsii, 21:6 (2014), 73–89

[3] Popkov K. A., “Proveryayuschie i diagnosticheskie testy dlya kon'yunktorov, diz'yunktorov i invertorov”, Vestnik Moskovskogo universiteta. Seriya 1. Matematika. Mekhanika, 2014, no. 6, 40–44