Geodesic
Short complete diagnostic tests for circuits with~one~additional input in the standard basis
Prikladnaâ diskretnaâ matematika, no. 2 (2022), pp. 104-112

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

We prove that each monotone (antimonotone) Boolean function in $n$ variables can be modeled by a logic circuit with one additional input in the basis “conjunction, disjunction, negation” allowing a complete diagnostic test with length no more than $n+2$ (no more than $n+1$, respectively) relative to constant faults of type $1$ at outputs of logic gates.
Keywords: logic circuit, stuck-at fault, complete diagnostic test, Boolean function. 
@article{PDM_2022_2_a5,
     author = {K. A. Popkov},
     title = {Short complete diagnostic tests for circuits with~one~additional input in the standard basis},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {104--112},
     publisher = {mathdoc},
     number = {2},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2022_2_a5/}
}
TY  - JOUR
AU  - K. A. Popkov
TI  - Short complete diagnostic tests for circuits with~one~additional input in the standard basis
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2022
SP  - 104
EP  - 112
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2022_2_a5/
LA  - ru
ID  - PDM_2022_2_a5
ER  - 
%0 Journal Article
%A K. A. Popkov
%T Short complete diagnostic tests for circuits with~one~additional input in the standard basis
%J Prikladnaâ diskretnaâ matematika
%D 2022
%P 104-112
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2022_2_a5/
%G ru
%F PDM_2022_2_a5
K. A. Popkov. Short complete diagnostic tests for circuits with~one~additional input in the standard basis. Prikladnaâ diskretnaâ matematika, no. 2 (2022), pp. 104-112. http://geodesic.mathdoc.fr/item/PDM_2022_2_a5/