Boolean Complement Method Based on Constant-weight Code “1-out-of-4” for Formation of Totally Self- checking Concurrent Error Detection Systems.

The article describes a new way of concurrent error-detection (CED) systems organization using the Boolean complement method, which involves the use of pre-compression of signals from the diagnostic object using encoders of classical sum codes (Berger codes). Control of compressed signals is carried out using the constant-weight "1-out-of-4" code. In comparison with the known methods of the CED systems organization, it is possible to implement a self-checking digital device using one such circuit, and this significantly reduces the structural redundancy. The article suggests using the encoders of modified Berger codes with improved error detection characteristics as a compression scheme.

Download Full-text

Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems

2019 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2019.8884398 ◽

2019 ◽

Cited By ~ 1

Author(s):

Dmitry Efanov ◽

Valery Sapozhnikov ◽

Vladimir Sapozhnikov ◽

German Osadchy ◽

Dmitry Pivovarov

Keyword(s):

Error Detection ◽

Concurrent Error Detection ◽

Constant Weight Codes ◽

Constant Weight ◽

Detection Systems

Download Full-text

FUNCTIONAL APPROACH TO THE SYNTHESIS OF CONCURRENT ERROR-DETECTION CIRCUIT BASED ON BOOLEAN COMPLEMENT AND USE OF "2-OUT-OF-5" CONSTANT-WEIGHT CODE

10.22250/isu.2021.70.81-94 ◽

2021 ◽

pp. 81-94

Author(s):

D.V. Efanov ◽

◽

D.V. Pivovarov ◽

Keyword(s):

Error Detection ◽

Functional Relationship ◽

Control Function ◽

Functional Dependence ◽

Concurrent Error Detection ◽

Constant Weight ◽

Constant Weight Code ◽

Detection Circuit ◽

Definition Of ◽

And Control

A method for self-checking concurrent error-detection circuit synthesis based on Boolean com-plement and "2-out-of-5" constant-weight code is described. The method is notable for using functional relationship between the signals from the working and control outputs instead of ana-lyzing the unit performance on each input. The functional dependence is established with due account to the requirements for the formation of codewords of the "2-out-of-5" code and a com-plete tester check. In addition, it considers the formation of a complete set of test combinations for transformation elements in the concurrent error-detection circuit. A method for obtaining a functional relationship between the control outputs and the operating outputs of the diagnostic object is presented. One of the options for extending the definition of the control function values is presented, as well as the functional dependence. It is noted that the number of options for ex-tending the definition of the control function values is large, which allows numerous options for synthesizing a concurrent error-detection circuit for any diagnostic object based on the described method. The use of the "2-out-of-5" code for the synthesis of concurrent error-detection circuits applying the Boolean complement method proved its effectiveness for organizing self-checking digital devices in automatics and computer technology.

Download Full-text