D-Algorithm

Inducing the fault in any node and propagating the fault effect from the fault site to the primary output is called D-Algorithm.

D-Algorithm uses 5-valued logic (0, 1, D, D', X).

If,

D = 1, then No Fault

D' = 0, then No Fault

D = 0, then Fault

D' = 1, then Fault

D-Algorithm Proceedure

1. Truth Table
2. Singular Cover
3. Finding D-Cube with D-Intercept
4. Propagate fault effect to PO
5. Back-track to PI to justify