The Synthesis Conditions of Completely Self-Testing Embedded-Control Circuits Based on the Boolean Complement Method to the “1-out-of-m” Constant-Weight Code

In this paper, we consider the problem of ensuring the detection of all single faults of logic elements in the blocks of the main and complement logic in the embedded control circuits of combinational logic devices based on the Boolean complement method using the “1-out-of- m ” constant-weight code. The conditions for ensuring complete self-checking of the embedded control circuit are established. A synthesis method based on the Boolean complement to the “1-out-of- m ” constant-weight code is proposed for completely self-checking circuits of embedded control of combinational logic devices.