Design of Self-Checking Discrete Devices Based on Boolean Signal Correction and 3-out-of-4 Constant-Weight Code

Abstract This paper highlights the features of design of self-checking discrete devices with concurrent error-detection circuit using Boolean signal correction and the 3-out-of-4 constant-weight code. It is shown that this code has advantages over some other constant-weight code used in organizing concurrent error-detection circuits. The concurrent error-detection circuit’s structure organization is based on Boolean signal correction and the 3-out-of-4 code is described. An approach to the formation of group of methods for concurrent error-detection circuits’ design based on Boolean signal correction and the 3-out-of-4 code is developed, which allows for the design of totally self-checking structures of discrete devices when correcting three out of four signals from the diagnostic object. The methods imply establishing a relationship between the values of the functions implemented at the diagnostic object outputs and the Boolean signal correction functions. An example of establishing such a relationship is given. The conditions for ensuring totally self-checking of the concurrent error-detection circuit built using the developed method are formulated. The experiment with combinational benchmarks demonstrates the efficiency of the proposed approach to the self-checking discrete devices synthesis. The 3-out-of-4 code using in the concurrent error-detection circuits synthesis based on Boolean signal correction is promising in the self-checking discrete devices design.