Title: Diagnosing faults in digital circuits