Multiple faults in Reed-Muller canonic networks

Fault detecting test sets to detect multiple stuck-at-faults in certain networks realizing Reed-Muller canonic expressions are given. It is shown that to detect t faults, t ≥ 1, in a network realizing an arbitrary n-variable logic function only 4 + Σ i=1 [log22t] (in) tests need be applied ([x] is the integer part of x) and that these tests are independent of the function being realized. Techniques to design the checker for these test sets are given.