Simulation-Based Verification of Floating-Point Division.

Elena Guralnik Merav Aharoni Ariel J. Birnbaum Anatoly Koyfman

Published in: IEEE Trans. Computers (2011)

Keyphrases

floating point
fixed point
square root
model checking
instruction set
sparse matrices
formal methods
graphical models
fast fourier transform
interval arithmetic
higher order
low cost