Tradeoff between approximation accuracy and complexity for range analysis using affine arithmetic

Journal of Signal Processing Systems

Volumn 61, Issue 3, 2010, Pages 279-291

  Zhang, Linsheng ^a   Zhang, Yan ^a   Zhou, Wenbiao ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Affine arithmetic; Bit width optimization; Floating point to fixed point transformation; Range analysis; Tradeoff

Indexed keywords

AFFINE ARITHMETIC; BIT-WIDTH OPTIMIZATION; POINT TRANSFORMATIONS; RANGE ANALYSIS; TRADEOFF;

CHEBYSHEV APPROXIMATION; OPTIMIZATION; SIGNAL PROCESSING;

DIGITAL ARITHMETIC;

EID: 77957986930     PISSN: 19398018     EISSN: 19398115     Source Type: Journal    
DOI: 10.1007/s11265-010-0452-2     Document Type: Article

References (27)

1. G Constantinides G Woeginger 2001 The complexity of multiple wordlength assignment Applied Mathematics Letters 15 2 137 140 10.1016/S0893-9659(01)00107- 0 1880747
2. D-U Lee AA Gaffar RCC Cheung O Mencer W Luk GA Constantinides 2006 Accuracy-guaranteed bit-width optimization IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25 10 1990 2000 10.1109/TCAD.2006. 873887 (Pubitemid 44321562)
3. W Sung KI Kum 1995 Simulation-based word-length optimization method for fixed-point digital signal processing systems IEEE Transactions on Signal Processing 43 12 3087 3090 10.1109/78.476465
4. Willems, M., Burgens, V., Keding, H., Grotker, T., & Meyr, H. (1997). System level fixed-point design based on an interpolative approach. In Proceedings of the 34th Design Automation Conference (pp. 293-298).
5. KI Kum W Sung 2001 Combined word-length optimization and high-level synthesis of digital signal processing systems IEEE Transactions on Computers 20 8 921 930
6. Shi, C., & Brodersen, R. W. (2004). Automated fixed-point data-type optimization tool for signal processing and communication systems. In Proceedings of the 41th Design Automation Conference (pp. 478-483).
7. Abdul Gaffar, A., Mencer, O., Luk, W., & Cheung, P. (2004). Unifying bit-width optimisation for fixed-point and floating-point designs. In Proceedings of the 12th IEEE Symposium on Field-Programmable Custom Computing Machines (pp. 79-88).
8. A Mallik D Sinha P Banerjee H Zhou 2007 Low-power optimization by smart bit-width allocation in a SystmC-based ASIC design environment IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 26 3 447 455 10.1109/TCAD.2006.888291 (Pubitemid 46375754)
9. W Kramer 1998 A priori worst case error bounds for floating-point computations IEEE Transactions on Computers 47 7 750 756 10.1109/12.709374
10. Cmar, R., Rijnders, L., Schaumont, P., Vernalde S., & Bolsens, I. (1999). A methodology and design environment for DSP ASIC fixed point refinement. In Proceedings of Design, Automation and Test in Europe 1999 (pp. 271-276).
11. Fang, C. F., Rutenbar, R., Puschel, M., & Chen, T. (2003). Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. In Proceedings of the 40th Design Automation Conference (pp. 496-501).
12. Fang, C. F., Rutenbar, R., & Chen, T. (2003). Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs. In Proceedings of International Conference on Computer-Aided Design 2003 (pp. 275-282).
13. Obsborne, W. G., Cheung, R. C. C., Coutinho, J. G. F., Luk, W., & Mencer, O. (2007). Automatic accuracy-guaranteed bit-width optimization for fixed and floating-point systems. In Proceedings of International Conference on Field Programmable Logic and Applications (pp. 617-620).
14. JA López G Caffarena C Carreras O Nieto-Taladriz 2008 Fast and accurate computation of the roundoff noise of linear time-invariant systems IET Circuits, Devices and Systems 2 4 393 408 10.1049/iet-cds:20070198
15. Moore, R. E. (1962). Interval arithmetic and automatic error analysis in digital computing. Ph.D. thesis, Stanford University.
16. RB Kearfott 1996 Interval computations: Introduction, uses, and resources Euromath Bulletin 1 2 95 112 1413179
17. Stolfi, J., & de Figueiredo, L. H. (1997). Self-validated numerical methods and applications. In Brazilian mathematics colloquium monograph, IMPA, Rio de Janeiro, Brazil.
18. LH de Figueiredo J Stolfi 2003 Affine arithmetic: concepts and applications Numerical Algorithms 00 1 13
19. JS Walther 2000 The story of unified CORDIC Journal of VLSI Signal Processing 25 2 107 112 0969.68661 10.1023/A:1008162721424
20. Kinsman, A. B., & Nicolici, N. (2009). Finite precision bit-width allocation using SAT-Modulo theory. In Proceedings of Design, Automation and Test in Europe 2009 (pp. 1106-1111).
21. Shekhar, N., Kalla, P., & Enescu, F. (2006). Equivalence verification of arithmetic datapaths with multiple word-length operands. In Proceedings of Design, Automation and Test in Europe 2006 (pp. 824-829).
22. Gopalakrishnan, S., Kalla, P., Meredith, M. B., & Enescu, F. (2007). Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. In Proceedings of International Conference on Computer-Aided Design 2007 (pp. 143-148).
23. Shou, H., Song, W., Shen, J., Martin, R., & Wang, G. (2006). A recursive taylor method for ray casting algebraic surfaces. In Proceedings of International Conference on Computer Graphics and Virtual Reality 2006 (pp. 196-204).
24. Gay, O. (2006). Libaffa-C+∈+ affine arithmetic library for GNU/Linux. http://www.nongnu.org/libaffa.
25. Jiang, J., Luk, W., & Rueckert, D. (2003). FPGA-based computation of free-form deformations in medical image registration. In Proceedings of IEEE International Conference on Field-Programmable Technology 2003 (pp. 234-241).
26. Embree, P. M. (1995). C algorithms for real-time DSP. New Jersey: Prentice Hall.
27. Knuth, D. E. (1981). The art of computer programming: Seminumerical algorithms (Vol.2, 2nd Ed.). Reading: Addison-Wesley.