Gupta. Hardware Diagnosis as Program Debugging. 1987.