Pseudoduplication of floating-point addition. A method of compiler generated checking of permanent hardware faults

Abstract

A method of compiler generated checkpoints for the detection of permanent hardware faults is offered. Some of the floating point addition instructions of a program are used as checkpoints. The compiler automatically generates a diverse execution on different data paths (pseudo-duplication). Rounding-modes and fault coverage are investigated. The method can be implemented without additional hardware and with a tolerable reduction in performance.<>