Geodesic
Masking of internal nodes faults based on applying of incompletely specified Boolean functions
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 20 (2020) no. 4, pp. 517-526

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

Combinational circuits (combinational parts of sequential circuits) are considered. Masking of internal nodes faults with applying sub-circuit, inputs of which are connected to the circuit inputs and outputs — to the circuit proper internal nodes, is suggested. The algorithm of deriving incompletely specified Boolean function for an internal node of the circuit based on using operations on ROBDDs is described. Masking circuit (patch circuit) design for the given internal fault nodes is reduced to covering of the system of incompletely specified Boolean functions corresponding to the fault nodes by the proper SoP system. Then the obtained system of completely specified Boolean functions is applied to derive masking circuit by using ABC system (A System for Sequential Synthesis and Verification). Experiments on bench marks show essential cutting of overhead in the frame of the suggested approach. 
@article{ISU_2020_20_4_a9,
     author = {A. Yu. Matrosova and V. A. Provkin and V. V. Andreeva},
     title = {Masking of internal nodes faults based on applying of incompletely specified {Boolean} functions},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {517--526},
     publisher = {mathdoc},
     volume = {20},
     number = {4},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2020_20_4_a9/}
}
TY  - JOUR
AU  - A. Yu. Matrosova
AU  - V. A. Provkin
AU  - V. V. Andreeva
TI  - Masking of internal nodes faults based on applying of incompletely specified Boolean functions
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2020
SP  - 517
EP  - 526
VL  - 20
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2020_20_4_a9/
LA  - ru
ID  - ISU_2020_20_4_a9
ER  - 
%0 Journal Article
%A A. Yu. Matrosova
%A V. A. Provkin
%A V. V. Andreeva
%T Masking of internal nodes faults based on applying of incompletely specified Boolean functions
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2020
%P 517-526
%V 20
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2020_20_4_a9/
%G ru
%F ISU_2020_20_4_a9
A. Yu. Matrosova; V. A. Provkin; V. V. Andreeva. Masking of internal nodes faults based on applying of incompletely specified Boolean functions. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 20 (2020) no. 4, pp. 517-526. http://geodesic.mathdoc.fr/item/ISU_2020_20_4_a9/