Geodesic
On single detection test sets under replacements of gates with inverters
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 162 (2020) no. 3, pp. 359-366

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

Detection testing of Boolean functions implemented by Boolean circuits, which are affected by single replacements of gates with inverters, was discussed. The relevance of the study is determined by the fact that replacements of gates with inverters is a type of malfunction that occurs in the development and production of VLSI. The study was carried out in order to prove the possibility of constructing easily testable circuits under replacing elements with inverters. To achieve this goal, special methods for the synthesis of easily testable circuits were developed. Based on the results of the study, the following conclusions were drawn: for an arbitrary Boolean function implemented over a Zhegalkin basis $B_1 = \{ x\mathbin{\} y, x\oplus y, 1\}$, there is an irredundant circuit that allows a single detection test set consisting of one vector; for an arbitrary Boolean function implemented over a standard basis $B_0=\{x\mathbin{\}y, x\vee y, \bar x\}$, there is an irredundant circuit that allows a single detection test set consisting of two vectors.
Keywords: Boolean circuit, detection test set, Shannon function, replacements of gates. 
@article{UZKU_2020_162_3_a9,
     author = {G. G. Temerbekova and D. S. Romanov},
     title = {On single detection test sets under replacements of gates with inverters},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {359--366},
     publisher = {mathdoc},
     volume = {162},
     number = {3},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a9/}
}
TY  - JOUR
AU  - G. G. Temerbekova
AU  - D. S. Romanov
TI  - On single detection test sets under replacements of gates with inverters
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2020
SP  - 359
EP  - 366
VL  - 162
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a9/
LA  - ru
ID  - UZKU_2020_162_3_a9
ER  - 
%0 Journal Article
%A G. G. Temerbekova
%A D. S. Romanov
%T On single detection test sets under replacements of gates with inverters
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2020
%P 359-366
%V 162
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a9/
%G ru
%F UZKU_2020_162_3_a9
G. G. Temerbekova; D. S. Romanov. On single detection test sets under replacements of gates with inverters. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 162 (2020) no. 3, pp. 359-366. http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a9/