Reduced Precision Checking for a Floating Point Adder. - Patrick J. Eibl; Andrew D. Cook; Daniel J. Sorin (DFT, 2009)