The Community for Technology Leaders
Computer-Aided Design, International Conference on (2003)
San Jose, CA
Nov. 9, 2003 to Nov. 13, 2003
ISSN: 1092-3152
ISBN: 1-58113-762-1
pp: 275
Claire F. Fang , Carnegie Mellon University, Pittsburgh, PA
Tsuhan Chen , Carnegie Mellon University, Pittsburgh, PA
Rob A. Rutenbar , Carnegie Mellon University, Pittsburgh, PA
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.
INDEX TERMS
null
CITATION
Claire F. Fang, Tsuhan Chen, Rob A. Rutenbar, "Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs", Computer-Aided Design, International Conference on, vol. 00, no. , pp. 275, 2003, doi:10.1109/ICCAD.2003.1257675
102 ms
(Ver 3.3 (11022016))