Design of Self-Checking Discrete Devices Based on the Boolean Signals Correction Using the Constant-Weight “1-out-of-3” Code

In this paper, the author solve the problem of design of self-checking discrete devices with concurrent error-detection circuits based on Boolean signal correction using the constant-weight “1‑out-of-3” code. In this case, the diagnostic object outputs are divided into groups of three each and separate concurrent error-detection subcircuits are implemented according to the “1-out-of-3” code. Then, the control signals are compressed based on the pyramidal connection of the two-rail signal compression modules. The peculiarity of the approach used lies in the transformation of signals from all three outputs from the controlled group in the concurrent error-detection circuit, against two as was assumed in earlier studies. This approach allows one to obtain more than 6000 variants of the concurrent error-detection circuit implementation, in contrast to the previously known two. The article presents a technique for obtaining a functional relationship between the output values of the correction function calculation unit and the diagnostic object. Expressions for calculating the signal correction functions are compiled considering the need to generate tests for all conversion gates and the “1-out-of-3” code checker. Such a dependence significantly simplifies the procedure of synthesizing a self-checking device. In this paper, as an example, such a dependence between the values at the block outputs for calculating the correction functions and the diagnostic object is established, which makes it possible to calculate the correction function of two outputs in the controlled group at once, and this simplifies the block for calculating the correction function values. An example of the synthesis of a concurrent error-detection circuit according to the method proposed in this paper is given. This paper presents some experimental evidence of the proposed method’s effectiveness for design of self-checking discrete devices. The results obtained in this study can be effectively used in practice in the development and design of self-checking discrete devices on various elements.