Verification of Floating-Point Adders.

Yirng-An Chen Randal E. Bryant

Published in: CAV (1998)

Keyphrases

floating point
fixed point
square root
sparse matrices
instruction set
floating point arithmetic
model checking
interval arithmetic
fast fourier transform
programmable logic
image segmentation
fourier transform
formal methods