Построение эквивалентных схем в системах троирования

Abstract

Triple-Modular Redundancy (TMR) technique is one of the widely used approaches to provide reliable functioning of logical circuits. In recent years, it has become possible to insert Trojan Circuits into the same line of each identical circuit of TMR, such an opportunity makes the TMR technique vulnerable. The way out of this situation is to use instead of three identical circuits either two approximate circuits or three equivalent circuits that differ in structural implementation from each other. The obtained equivalent circuits, in contrast to the use of approximating circuits, does not create an unprotected area in the TMR technique. An approach is proposed to obtain equivalent circuits based on distortion of the irredundant system of SoPs, which describes the behavior of the primary circuit of the TMR technique. The resulting distorted systems of SoPs and the original system of SoPs are used for the synthesis of circuits.