Fault detection test derivation using Boolean difference techniques
George W. Smith · 1972
The Boolean difference technique for fault test derivation in logic networks is described through the use of simple examples. It is shown that the technique makes use of familiar Boolean algebra manipulations and eliminates the need for "chasing" 1's and 0's through the networks. A hint of the additional complexity of sequential networks is shown through the introduction of state variables and the derivation of test sequences.