Abstract:
An algorithm is suggested for testing lines of a combinational circuit by using pairs of sets; with due regard for the multiple outputs. The algorithm makes use of a calculus of $D$-cubes and a special tool which does not require compensation of faults in the line under test. The algorithm extends the potential of the method of Ref. [1] which did not lead to pairs of sets if there were more than one output.