Slide 46 of 173
Notes:
PODEM was the first major efficiency enhancement to the D algorithm. PODEM formed the basis for most of the follow-on work in ATPG algorithms. PODEM is still exponentially complex, but its complexity is exponential to the number of circuit inputs, not the number of circuit nodes. More importantly, PODEM is more efficient in how it searches this solution space.
