Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs

@inproceedings{citeulike:2963801, abstract = {Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a time-consuming 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 bit-true simulation. We show error analysis results on both feed forward and feedback DSP kernels.}, author = {Fang, C. F. and Rutenbar, R. A. and Chen, Tsuhan }, booktitle = {Computer Aided Design, 2003. ICCAD-2003. International Conference on}, citeulike-article-id = {2963801}, doi = {http://dx.doi.org/10.1109/ICCAD.2003.1257675}, journal = {Computer Aided Design, 2003. ICCAD-2003. International Conference on}, keywords = {error\_analysis, fixedpoint}, pages = {275--282}, posted-at = {2008-07-04 13:34:03}, priority = {2}, title = {Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs}, url = {http://dx.doi.org/10.1109/ICCAD.2003.1257675}, year = {2003} }

TY - CONF ID - citeulike:2963801 L3 - citeulike-article-id:2963801 TI - Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs T2 - Computer Aided Design, 2003. ICCAD-2003. International Conference on JF - Computer Aided Design, 2003. ICCAD-2003. International Conference on SP - 275 EP - 282 N2 - Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a time-consuming 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 bit-true simulation. We show error analysis results on both feed forward and feedback DSP kernels. KW - error_analysis KW - fixedpoint AU - Fang, CF AU - Rutenbar, RA AU - Chen, Tsuhan PY - 2003/// UR - http://dx.doi.org/10.1109/ICCAD.2003.1257675 ER -