Login / Signup
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division.
David W. Matula
Lee D. McFearin
Published in:
DATE (2006)
Keyphrases
</>
formal model
floating point
dynamic programming
sparse matrices
floating point arithmetic
data structure
matching algorithm
memory efficient
square root
general purpose
higher order
energy function
hardware implementation
fast fourier transform