Applying incompletely specified Boolean functions for patch circuit generation

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Applying incompletely specified Boolean functions for patch circuit generation	488 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.1109/EWDTS52692.2021.9581029

Title: Applying incompletely specified Boolean functions for patch circuit generation
Creator: Matrosova, Anzhela Yu.
|
Provkin, V.
Date: 2021
DOI: 10.1109/EWDTS52692.2021.9581029
Description: We consider combination circuit C and some its nodes that faults are detected on the last stages of circuit fabrication. Besides, injections of Trojan Circuits (TCs) in certain circuit C lines may be also detected. (It is assumed that TC payload output is inserted into a line of a combinational circuit). In both cases circuit C improper functions are changed for incompletely specified Boolean functions correlated with the corresponding fault nodes or the circuit lines of correct circuit C. That is why masking of circuit faults and TCs injections may be reduced to implementation of a patch circuit that realizes the correct system of incompletely specified Boolean functions, in particular, depending on internal circuit C variables. The correct system is calculated with using SAT solver. Patch circuit inputs are connected with internal nodes of circuit C that precede both fault nodes and the lines. Patch circuit outputs are connected with nodes that are fed either by fault nodes or by circuit lines in which Trojan circuits are inserted. Experimental results are executed on ISCAS test circuits. The results show that patch circuits as a rule are simpler than duplication subcircuit with fault node as outputs and preceding nodes as inputs.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 238-241
Language: eng

Created: 05-04-2022

683 Visitors

564 Hits

130 Downloads