Slide 43 of 173
The D algorithm was the first algorithm for test generation designed to be programmable on a computer. The D algorithm uses the single stuck-at fault model. Previously developed algorithmic techniques (boolean difference, literal proposition) were too expensive in terms of memory requirements for practical implementation on a computer.
The D algorithm introduced the D notation which has been used in most subsequent ATPG algorithms.