Techniques for the diagnosis of switching circuit failures
J. Michael Galey, R. E. Norby, J. Paul Roth · IEEE Transactions on Communication and Electronics · 1964
In 2.12 minutes, an IBM 7090 program found four input tests (for an 8-input parity check circuit) whose outcome determines whether any one of 102 possible failures occurred. For any single-output combinational circuit, with no more than 35 input variables, the program computes the set of all inputs detecting a given failure — the essential novelty of the method. These sets, one for each failure, are then processed to find a small subset of tests which detect any failure. The underlying method extends to the diagnosis of circuits with feedback.