Slide 54 of 173
Notes:
No additional notes on the definitions are required.
In the figure, A s-a-0 and B s-a-0 are equivalent to C s-a-1 because only the test AB=11 will detect them. Therefore, A s-a-0 and B s-a-0 can be removed from the fault list. Either of the equivalent faults can be removed.
Finally, C s-a-0 can be detected by AB=00, or 10, or 01, and A s-a-1 can only be detected by AB=01 and B s-a-1 can only be detected by AB=10. Therefore, As-a-1 and B s-a-1 dominate C s-a-0 and C s-a-0 can be removed from the fault list. Dominated faults can be removed from the fault list.
