For example,Бобцов

CONTROL OF SELF-DUAL DEVICES USING COMPRESSION CIRCUITS BASED ON FULL ADDERS

Annotation

The problem of organizing the control of calculations by a diagnostic parameter characterizing the belonging of the functions calculated by the object of diagnosis to the class of self-dual Boolean functions is considered. The structure of a self-dual device with control of each output separately is described. A structure is proposed for a built-in control circuit using a special signal compression scheme. Such a structure makes it possible to reduce the number of observed outputs and thereby reduce the number of elements in the structure of the built-in control circuit (ICS). Standard circuits of full adders, which are self-dual digital devices, are supposed to be used as signal compression devices. It is shown that such an approach to the ICS organization makes it possible to reduce the complexity of its technical implementation by approximately 8–9% compared to the control of calculations at each output of the diagnostic object. Formulas for estimating the complexity of the implementation of the ICS for each method of its organization are given. Algorithms for the synthesis of ICS with the use of signal compression schemes are formulated. The data obtained by modeling self-dual structures using the considered methods in the Multisim modeling environment are demonstrated. The presented results enable practical synthesis of self-checking digital devices and computing systems.

Keywords

Articles in current issue