Stefan Gerber Michael Gössel Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. 327-335 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#GerberG94 http://dx.doi.org/10.1007/3-540-58426-9_139