University of Toronto. D-Algorithm. ○ Initialization: ♢ set all line values to X. ♢ activate the target fault by assigning logic value to that line. ○ 1. Propagate D to PO.
www.eecg.toronto.edu