Login / Signup
Verification of the functional behavior of a floating-point program: An industrial case study.
Claude Marché
Published in:
Sci. Comput. Program. (2014)
Keyphrases
</>
floating point
square root
fixed point
symbolic execution
functional verification
instruction set
hardware designs
floating point arithmetic
fast fourier transform
model checking
sparse matrices
general purpose