Describir: Fault detection in digital circuits /