TY  - GEN
AU  - Mitrofanov,Evgenii V.
AU  - Ostanin,Sergey A.
AU  - Nikolaeva,Ekaterina A.
AU  - Matrosova,Anzhela Yu
TI  - Detection and masking of Trojan Circuits in sequential logic
KW  - последовательная логика
KW  - последовательностные схемы
KW  - ROBDD-графы
KW  - вредоносные подсхемы
KW  - статьи в сборниках
N1  - Библиогр.: 9 назв
N2  - A technique of finding a set of sequential circuit
nodes in which Trojan Circuits (TC) may be implanted
 is suggested. The technique is based on applying the
 precise (not heuristic) random estimations of internal
 node observability and controllability. Getting the
 estimations we at the same time derive and compactly
 represent all sequential circuit full states (depending
 on input and state variables) in which of that TC may
 be switched on. It means we obtain precise description
 of TC switch on area for the corresponding internal
 node v. The estimations are computed with applying a
 State Transition Graph (STG) description, if we
 suppose that TC may be inserted out of the working
 area (out of the specification) of the sequential circuit.
 Reduced Ordered Binary Decision Diagrams
 (ROBDDs) for the combinational part and its
 fragments are applied for getting the estimations by
 means of operations on ROBDDs. Techniques of
 masking TCs are proposed. Masking sub-circuits
 overhead is appreciated
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000643965
ER  -