•We want to find a test pattern (inputs resulting in different outputs for correct/faulty cases)
•This is accomplished by first creating a circuit with both our correct and fault models, which evaluates to true when the correct and fault circuits have different outputs.
