Izvestiya of Saratov University.

Mathematics. Mechanics. Informatics

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


For citation:

Matrosova A. Y., Provkin V. A., Andreeva V. V. Masking of Internal Nodes Faults Based on Applying of Incompletely Specified Boolean Functions. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2020, vol. 20, iss. 4, pp. 517-526. DOI: 10.18500/1816-9791-2020-20-4-517-526, EDN: RFDKXA

This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0).
Published online: 
30.11.2020
Full text:
(downloads: 286)
Language: 
Russian
Heading: 
Article type: 
Article
UDC: 
519.7
EDN: 
RFDKXA

Masking of Internal Nodes Faults Based on Applying of Incompletely Specified Boolean Functions

Autors: 
Matrosova Angela Yu., Tomsk State University
Provkin Victor A., Tomsk State University
Andreeva Valentina V., Tomsk State University
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.

References: 
  1. Lin C.-C., Chen K.-C., Chang S.-C., Sadovska M., Cheng K-I. Logic synthesis for engineering change. Proceedings of the 32nd Annual ACM/IEEE Design Automation Conference. San Francisco, California, USA, 1995, pp. 647–652.
  2. Veneris A., Hajj I. Design error diagnosis and correction via test vector simulation. IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems, 1999, vol. 18, iss. 12, pp. 1803–1816. DOI: https://doi.org/10.1109/43.811329
  3. Chang K.-H., Markov I. L., Bertacco V. Fixing design errors with counter examples and resynthesis. Proceedings of the 2007 Asia and South Pacific Design Automation Conference. Yokohama, Japan, 2007, pp. 944–949. DOI: https://doi.org/10.1109/ASPDAC.2007.358111
  4. Krishnavami S., Ren H., Modi N., Puri R. DeltaSyn: An efficient logic difference optimizer for ECO synthesis. 2009 IEEE/ACM International Conference on ComputerAided Design — Digest of Technical Papers. San Jose, CA, 2009, pp. 789–796. DOI: https://doi.org/10.1145/1687399.1687546
  5. Cheng A.-C., Jiang H.-R., Jou J.-Y. Resource-aware functional ECO patch generation. Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). Dresden, Germany, 2016, pp. 1036–1041. DOI: https://doi.org/10.3850/9783981537079_0946
  6. Dao A. Q., Lee N.-Z., Chen L.-C., Lin M. P.-H., Jiang R. J.-H., Mishchenko A., Brayton R. Efficient computation of ECO patch functions. Proceedings of the 55th Annual Design Automation Conference. San Francisco, California, USA, 2018, no. 51, pp. 1–6. DOI: https://doi.org/10.1109/DAC.2018.8465898
  7. Een N. MiniSAT — A sat solver with conflict clause minimization. SAT Competition 2005: 8th Intern. Conf. on theory and applications of satisfiability testing. St. Andrews, Scotland, UK, 2005, pp. 502–518.
  8. Janota M., Marques-Silva J. Solving QBF by clause selection with conflict clause minimization. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 2015, pp. 325–331.
  9. Matrosova A. Y., Andreeva V. V. Minimizing the Boolean Function System Oriented Toward Self-Checking Finite-State Machine Design. Avtometriya [Autometry], 2008, vol. 44, no. 5, pp. 100–111 (in Russian).
  10. ABC: A System for Sequential Synthesis and Verification. Available at: https://people.eecs.berkeley.edu/∼alanmi/abc/ (accessed 22 April 2019).
  11. Matrosova A., Ostanin S. Trojan Circuits Masking and Debugging of Combinational Circuits with LUT Insertion. Automation, Quality and Testing, Robotics. IEEE International Conference. 2018 (AQTR 2018). Cluj-Napoca, Romania, 2018, pp. 462–467. DOI: https://doi.org/10.1109/AQTR.2018.8402793
Received: 
11.11.2019
Accepted: 
30.12.2019
Published: 
30.11.2020