Automatic Verification of Floating Point Units.

Udo Krautz Viresh Paruthi Anand Arunagiri Sujeet Kumar Shweta Pujar Tina Babinsky

Published in: DAC (2014)

Keyphrases

floating point
fixed point
square root
fast fourier transform
instruction set
interval arithmetic
sparse matrices
floating point arithmetic
general purpose
np hard