Text this: Fault diagnosis of digital circuits /