Title :
Pseudoduplication of floating-point addition. A method of compiler generated checking of permanent hardware faults
Author :
Hahn, W. ; Gossel, Michael
Author_Institution :
Central Inst. of Cybern. & Inf. Processes, Berlin, Germany
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.<>
Keywords :
computer testing; digital arithmetic; error detection; fault location; program compilers; compiler generated checking; fault coverage; floating-point addition; permanent hardware faults; pseudo-duplication; rounding modes; Application software; Concrete; Cybernetics; Fault detection; Hardware; Monitoring; Testing; Zinc;
Conference_Titel :
VLSI Test Symposium, 1991. 'Chip-to-System Test Concerns for the 90's', Digest of Papers
Conference_Location :
Atlantic City, NJ, USA
DOI :
10.1109/VTEST.1991.208152