On generalizing the D-algorithm
J. Scott Provan · 1983
We consider in this paper the d-algorithm of J. P. Roth, which tests for specific faulty behavior in an integrated circuit.We develop a formal and general mathematical description of the algorithm, which allows a large degree of flexibility and extension in its implementation.We discuss a subsequent FORTRAN coding of such an extended d-algorithm, along with some sample testing.