Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs

• Published in: International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 p. 275
• Main Authors: Fang, Claire F., Rutenbar, Rob A., Chen, Tsuhan
• Format: Conference Proceeding
• Language: English
• Published: Washington, DC, USA IEEE Computer Society 09-11-2003
• Series: ACM Conferences
• Subjects: Hardware > Communication hardware, interfaces and storage > Signal processing systems; Mathematics of computing > Probability and statistics > Probabilistic algorithms; Mathematics of computing > Probability and statistics > Probabilistic reasoning algorithms > Markov-chain Monte Carlo methods; Mathematics of computing > Probability and statistics > Probabilistic reasoning algorithms > Sequential Monte Carlo methods; Theory of computation > Randomness, geometry and discrete structures > Error-correcting codes
• ISBN: 9781581137620; 1581137621
• ISSN: 1092-3152
• DOI: 10.5555/996070.1009903

Translating digital signal processing (DSP) software intoits finite-precision hardware implementation is often a time-consumingtask. We describe a new static analysis techniquethat can accurately analyze finite-precision effects arisingfrom fixed-point implementations of DSP algorithms.The technique is based on recent interval representation methodsfrom affine arithmetic, and the use of new probabilisticbounds. The resulting numerical error estimates are comparableto detailed statistical simulation, but achieve speedupsof four to five orders of magnitude by avoiding actual bit-truesimulation. We show error analysis results on both feedforward and feedback DSP kernels.