•Given: combinational circuit, possible fault
•Build “test circuit” combining normal and fault model, evaluating true iff outputs of each are different
•Fix output of test circuit to true
•Convert circuit logic to CNF form
•Use GSAT to find a satisfying truth assignment to inputs.
