Geodesic
Short complete diagnostic tests for circuits with two additional inputs in some basis
Diskretnaya Matematika, Tome 34 (2022) no. 2, pp. 67-82

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

We prove that any Boolean function in $n$ variables can be modeled by a testable Boolean circuit with two additional inputs in the basis “conjunction, oblique conjunction, disjunction, negation” so that the circuit admits a complete diagnostic test of the length at most $2n+3$ with respect to stuck-at faults of the type $1$ at gate outputs.
Keywords: Boolean circuit, stuck-at fault, complete diagnostic test, Boolean function. 
@article{DM_2022_34_2_a6,
     author = {K. A. Popkov},
     title = {Short complete diagnostic tests for circuits with two additional inputs in some basis},
     journal = {Diskretnaya Matematika},
     pages = {67--82},
     publisher = {mathdoc},
     volume = {34},
     number = {2},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2022_34_2_a6/}
}
TY  - JOUR
AU  - K. A. Popkov
TI  - Short complete diagnostic tests for circuits with two additional inputs in some basis
JO  - Diskretnaya Matematika
PY  - 2022
SP  - 67
EP  - 82
VL  - 34
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2022_34_2_a6/
LA  - ru
ID  - DM_2022_34_2_a6
ER  - 
%0 Journal Article
%A K. A. Popkov
%T Short complete diagnostic tests for circuits with two additional inputs in some basis
%J Diskretnaya Matematika
%D 2022
%P 67-82
%V 34
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2022_34_2_a6/
%G ru
%F DM_2022_34_2_a6
K. A. Popkov. Short complete diagnostic tests for circuits with two additional inputs in some basis. Diskretnaya Matematika, Tome 34 (2022) no. 2, pp. 67-82. http://geodesic.mathdoc.fr/item/DM_2022_34_2_a6/