Geodesic
A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2012), pp. 24-29

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

It is constructively proved that any Boolean function of $n$ variables may be implemented in the basis of gates $\{ x\ y, x\oplus y, 1, {\bar x}(y\vee z)\vee x(y\sim z)\}$ by a testable combinational circuit admitting a fault detection test set whose power does not exceed 4 under arbitrary single inverse or constant (stuck-at) faults at outputs of gates. 
@article{VMUMM_2012_2_a5,
     author = {D. S. Romanov},
     title = {A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {24--29},
     publisher = {mathdoc},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a5/}
}
TY  - JOUR
AU  - D. S. Romanov
TI  - A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2012
SP  - 24
EP  - 29
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a5/
LA  - ru
ID  - VMUMM_2012_2_a5
ER  - 
%0 Journal Article
%A D. S. Romanov
%T A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2012
%P 24-29
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a5/
%G ru
%F VMUMM_2012_2_a5
D. S. Romanov. A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2012), pp. 24-29. http://geodesic.mathdoc.fr/item/VMUMM_2012_2_a5/