Self-Checking Combinational Devices Synthesis Based on the Boolean Signal Correction Method Using Bose—Lin Codes

Abstract

An organizing concurrent error-detection (CED) circuit new method for automation and computer technology combinational device is considered. The method based on the signal's Boolean correction method. The author proposed to use separable codes in the CED circuit synthesis when converting values from all operational outputs of the diagnosing object. The proposed approach allows to consider many possible transformations for each input combination. In addition, it will allow to choose the transformations to provide the conditions for building a completely self-checking device. In comparison with the methods previously discussed in the literature, the proposed approach makes it possible to synthesize a large number of control logic devices in the CED circuit and choose the most appropriate option. For example, with the technical implementation complexity lowest indicators. An algorithm for synthesizing the control logic block is given on the example of using a separable Bose — Lin code with module M = 4 by the signals Boolean correction method when organizing an CED circuit. The proposed method advantages and disadvantages for the CED circuit synthesis are described.