Conditions for the design of circuits with concurrent error detection properties

The design of self-checking circuits through output encoding finds a bottleneck in the realization of the network so that each fault produces only detectable errors. New conditions are defined for identifying the set of gates that, if faulty, cause undetectable errors, taking into account AUED codes (Berger and m-out-of-n) and the Parity code, for a reduction of the re-design of the circuit and, consequently, of costs