Test Pattern Generation
	• 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.