Email Record: Fault detection in digital circuits