@inproceedings{fan-rut-pus-che-03-aa-dspround,
  author = {Claire Fang Fang and Rrob A. Rutenbar and Markus P{\"u}schel and Tsuhan Chen},
  title = {Toward Efficient Static Analysis of Finite-Precision Effects in {DSP} Applications via Affine Arithmetic Modeling},
  booktitle = {Proc. 40th annual Design Automation Conference (DAC'03)},
  location = {Anaheim, US},
  year = 2003,
  month = jun,
  doi = {10.1145/775832.775960},
  comment = {An application of Affine Arithmetic to analysis of errors in DSP.},
  abstract = {We introduce a static error analysis technique, based on smart interval methods from affine arithmetic, to help designers translate DSP codes from full-precision floating-point to smaller finite-precision formats. The technique gives results for numerical error estimation comparable to detailed simulation, but achieves speedups of three orders of magnitude by avoiding actual bit-level simulation. We show results for experiments mapping common DSP transform algorithms to implementations using small custom floating point formats.}
}