Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. Saratov Univ. Math. Mech. Inform.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2020, Volume 20, Issue 4, Pages 517–526
DOI: https://doi.org/10.18500/1816-9791-2020-20-4-517-526
(Mi isu866)
 

Scientific Part
Computer Sciences

Masking of internal nodes faults based on applying of incompletely specified Boolean functions

A. Yu. Matrosova, V. A. Provkin, V. V. Andreeva

Tomsk State University (Institute of Applied Mathematics and Computer Science), 36 Lenin St., Tomsk 634050, Russia
References:
Abstract: 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.
Key words: combinational circuits, incompletely specified Boolean functions, patch circuits, Reduced Ordered Binary Decision Diagrams (ROBDDs).
Received: 11.11.2019
Accepted: 30.12.2019
Bibliographic databases:
Document Type: Article
UDC: 519.7
Language: Russian
Citation: A. Yu. Matrosova, V. A. Provkin, V. V. Andreeva, “Masking of internal nodes faults based on applying of incompletely specified Boolean functions”, Izv. Saratov Univ. Math. Mech. Inform., 20:4 (2020), 517–526
Citation in format AMSBIB
\Bibitem{MatProAnd20}
\by A.~Yu.~Matrosova, V.~A.~Provkin, V.~V.~Andreeva
\paper Masking of internal nodes faults based on applying of incompletely specified Boolean functions
\jour Izv. Saratov Univ. Math. Mech. Inform.
\yr 2020
\vol 20
\issue 4
\pages 517--526
\mathnet{http://mi.mathnet.ru/isu866}
\crossref{https://doi.org/10.18500/1816-9791-2020-20-4-517-526}
Linking options:
  • https://www.mathnet.ru/eng/isu866
  • https://www.mathnet.ru/eng/isu/v20/i4/p517
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024