Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics.

Matthieu Martel

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

preprocessing
fixed point
floating point
instruction set
mathematical formulas
sufficient conditions
dynamical systems
fixed point theorem
constraint databases
fine grained
three dimensional
mathematical expressions
sparse matrices
floating point unit