FPGA Paranoia: Testing Numerical Properties of FPGA Floating Point IP-Cores. - Xuan You Tan; David Boland; George A. Constantinides (ARC, 2012)