On the equivalence of fanout-point faults

At the gate level, practical equivalence rules exist only for the faults on the inputs and output of a Boolean gate. It is shown that, under some conditions, equivalence can be stated between faults on a fanout stem and on its branches. A practical procedure for identifying such faults is given, with actual design examples to which these rules apply. In one case this leads to the identification of logic redundancy