Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Proceedings - Design Automation Conference

Volumn , Issue , 2003, Pages 496-501

  Fang, Claire Fang ^a   Rutenbar, Rob A ^a   Püschel, Markus ^a   Chen, Tsuhan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Affine arithmetic; Custom floating point; Embedded hardware; Probabilistic error bound; Static error analysis

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE; COMPUTER SIMULATION; ERROR ANALYSIS;

STATIC ERROR ANALYSIS;

DIGITAL SIGNAL PROCESSING;

EID: 0042635701     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/775832.775960     Document Type: Conference Paper

References (13)

1. L. H. de Figueiredo and J. Stolfi. Self-validated numerical methods and applications. Brazilian Mathematics Colloquium monograph, IMPA, Rio de Janeiro, Brazil, July 1997.
2. F. Fang, T. Chen, and R. Rutenbar. Floating-point bit-width optimization for low-power signal processing applications. In International Conf. on Acoustic, Speech, and Signal Processing, May 2002.
3. F. Fang, T. Chen, and R. Rutenbar. Lightweight floating-point arithmetic: Case study of inverse discrete cosine transform. EURASIP J. Sig. Proc.; Special Issue on Applied Implementation of DSP and Communication Systems, 2002(9):879-892, Sept. 2002.
4. W. Kramer. A prior worst case error bounds for floating-point computations. IEEE Trans. Comp., 47:750-756, July 1998.
5. T. L. Laakso and L. B. Jackson. Bounds for floating-point roundoff noise. IEEE Trans. Circ. Sys II: Analog and Digital Signal Processing, 41:424-426, June 1994.
6. A. Lemke, L. Hedrich, and E. Barke. Analog circuit sizing based on formal methods using affine arithmetic. In International Conf. on Computer Aided Design, Nov. 2002.
7. B. Liu and T. Kaneko. Error analysis of digital filters realized with floating-point arithmetic. Proc. IEEE, 57:1735-1747, Oct. 1969.
8. R. E. Moore. Interval Analysis. Prentice-Hall, 1966.
9. M. Püschel, B. Singer, J. Xiong, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, and R. W. Johnson. SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms, to appear in Journal of High Performance Computing and Applications.
10. B. D. Rao. Floating point arithmetic and digital filters. IEEE Trans. Sig. Proc., 40:85-95, Jan. 1992.
11. P. H. Sterbenz. Floating-Point Computation. Prentice-Hall, 1974.
12. C. Tsai. Floating-point roundoff noises of first- and second-order sections in parallel form digital filters. IEEE Trans. Circ. Sys II: Analog and Digital Signal Processing, 44:774-779, Sept. 1997.
13. C. Weinstein and A. V. Oppenheim. A comparison of roundoff noise in floating point and fixed point digital filter realizations. Proc. IEEE, 57:1181-1183, June 1969.