Characteristics of the three main algorithms: Roth s D-Algorithm (D-ALG) defined the calculus and algorithms for ATPG using D-cubes. Goel s PODEM used path propagation constraints to limit the ATPG search space and introduced backtrace. Fujiwar