Lizard: Energy-efficient hard fault detection, diagnosis and isolation in the ALU | IEEE Conference Publication | IEEE Xplore