@misc{fan-rut-che-03-aa-dspround-draft,
  title = {Efficient Static Analysis of Fixed-Point Error in {DSP}: {Applications} via Affine Arithmetic Modeling},
  author = {Fang, Claire Fang  and Rutenbar, Rob A.  and Chen, Tsuhan},
  url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.6.4363&rep=rep1&type=pdf},
  howpublished = {Draft of article, online},
  comment = {See also proceedings papers~\cite{fan-rut-pus-che-03-aa-dspround} and~\cite{fan-che-rut-03-aa-fperr}},
  abstract = {Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique that can accurately analyze finite-precision effects arising from fixed-point implementations of DSP algorithms. The technique is based on recent interval representation methods from affine arithmetic, and the use of new probabilistic bounds. The resulting numerical error estimates are comparable to detailed statistical simulation, but achieve speedups of four to five orders of magnitude by avoiding actual bittrue simulation. We show error analysis results on several common DSP kernels.}
}