Reduced Precision Checking for a Floating Point Adder.

Patrick J. Eibl Andrew D. Cook Daniel J. Sorin

Published in: DFT (2009)

Keyphrases

floating point
fixed point
square root
floating point arithmetic
high precision
fast fourier transform
instruction set
probabilistic model
interval arithmetic
sparse matrices
image processing
high quality
general purpose
power consumption
constraint programming
constraint propagation