Toward Efficient Static Analysis of Finite-precision Effects

We introduce a static error analysis technique, based on smart interval methods from ane arithmetic, to help de-signers translate DSP codes from full-precision oating-point to smaller nite-precision formats. The technique gives re-sults for numerical error estimation comparable to detailed simulation, but achieves speedups of three orders of mag-nitude by avoiding actual bit-level simulation. We show results for experiments mapping common DSP transform algorithms to implementations using small custom oating point formats