Evaluation of static analysis techniques for fixed-point precision optimization

Proceedings - IEEE Symposium on Field Programmable Custom Computing Machines, FCCM 2009

Volumn , Issue , 2009, Pages 231-234

  Cong, Jason ^a   Gururaj, Karthik ^a   Liu, Bin ^a   Liu, Chunyue ^a   Zhang, Zhiru ^b   Zhou, Sheng ^b   Zou, Yi ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b AutoESL Design Technologies Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AFFINE ARITHMETIC; AUTOMATIC DIFFERENTIATIONS; FLOATING-POINT ALGORITHMS; GENERAL INTERVAL; HARDWARE IMPLEMENTATIONS; HIGHER ORDER; ON DYNAMICS; PRECISION ANALYSIS; PROGRAM TRANSFORMATIONS; STATIC ERROR; SYMBOLIC METHODS;

COMPUTERS; ERROR ANALYSIS; HARDWARE; STATIC ANALYSIS;

DYNAMIC ANALYSIS;

EID: 74349127428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FCCM.2009.35     Document Type: Conference Paper

References (10)

1. http://www.llvm.org
2. A. A. Gaffar, O. Mencer, W. Luk, and P. Cheung, "Unifying bit-width optimisation for fixed-point and floating-point designs," In Proc. FCCM, pages 79-88, 2004.
3. C. F. Fang, R. A. Rutenbar and T. Chen, "Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs," In Proc. ICCAD, pages 275-282, 2003.
4. D-U. Lee, A. A. Gaffar, O. Mencer and W. Luk, "MiniBit: bitwidth optimization via affine arithmetic," In Proc. DAC, pages 837-840, 2005.
5. Y. Pu and Y. Ha, "An automated, efficient and static bit-width optimization methodology towards maximum bit-width-to-error tradeoff with affine arithmetic model," In Proc. ASPDAC, pages 886-891, 2006.
6. J. Stolfi and L. H. de Figueiredo, "Self-validated numerical nethods and applications," Brazilian Mathematics Colloquium Monograph, IMPA, Rio De Janeiro, Brazil, 1997.
7. R. E. Moore, "Methods and applications of interval analysis," SIAM, 1979.
8. E. R. Hansen, "A generalized interval arithmetic," Interval mathematics (K. Nickel, ed.): LNCS 29, 7-18 (Springer-Verlag, 1975).
9. N. Doi, T. Horiyama, M. Nakanishi, and S. Kimura, "An optimization method in floating-point to fixed-point conversion using positive and negative error analysis and sharing of operations," In Proc. SASIMI, pages 466-471, 2004.
10. R.Seroul, "Evaluation of Polynomials: Horner's Method," In Programming for Mathematicians. Berlin: Springer-Verlag, pp. 216-262, 2000.