Design of single-output self-checking check circuits

The paper is concerned with single-output self-checking check circuits (SCCC). An algorithm is given which insures detection of all single stuck-at faults in an arbitrary non-primitive combinational circuit. Necessary and sufficient conditions for detection of single and multiple stuck-at faults in SCCC are found. An algorithm is described which permits detection of all single stuck-at faults in an SCCC. Certain standard self-checking checkers of computer hardware and SCCG output compression techniques are discussed.