@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.} }