Main points to take away:
Fault models, Concepts of fault equivalence, fault collapsing and fault dominance.
Number of fault sites in a boolean gate circuit =#PI + #gates + #(fanout branches)
Primary inputs and fanout branches are checkpoints
Check point theorem: A test that detects all single(multiple) stuck-at faults on all checkpoints of a combinational circuit, also detects all single(multiple) stuck at faults in the circuit.
