MiniBit: Bit-width optimization via affine arithmetic

Proceedings - Design Automation Conference

Volumn , Issue , 2005, Pages 837-840

  Lee, Dong U ^a   Gaffar, Altaf Abdul ^a   Mencer, Oskar ^a   Luk, Wayne ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Affine Arithmetic; Bit Width; Fixed Point; FPGA; Simulated Annealing

Indexed keywords

ELECTRIC NETWORK ANALYSIS; ERROR ANALYSIS; FIELD PROGRAMMABLE GATE ARRAYS; MATHEMATICAL MODELS; SIMULATED ANNEALING;

AFFINE ARITHMETIC; BIT-WIDTH; FIXED-POINT;

PRODUCT DESIGN;

EID: 27944484526     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. A. Abdul Gaffar, O. Mencer, W. Luk, and P. Cheung. Unifying bit-width optimisation for fixed-point and floating-point designs. In Proc. IEEE Symp. Field-Programmable Custom Computing Machines, pages 79-88, 2004.
2. R. Cmar, L. Rijnders, P. Schaumont, S. Vernalde, and I. Bolsens. A methodology and design environment for DSP ASIC fixed point refinement. In Proc. ACM/IEEE Design Automation and Test in Europe Conf., pages 271-276, 1999.
3. C. Fang, R. Rutenbar, and T. Chen. Fast, accurate static analysis for fixed-point finite-precision effects in DSP designs. In Proc. ACM/IEEE Int'l Conf. on Computer-Aided Design, pages 275-282, 2003.
4. C. Fang, R. Rutenbar, M. Püschel, and T. Chen. Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. In Proc. ACM/IEEE Design Automation Conf., pages 496-501, 2003.
5. L. Ingber. Adaptive Simulated Annealing (ASA) 25.15, 2004. http://www.ingber.com/#ASA.
6. L. de Figueiredo and J. Stolfi. Self-validated numerical methods and applications. In Brazilian Mathematics Colloquium monograph. IMPA, Brazil, 1997.
7. D. Menard and O. Sentieys. Automatic evaluation of the accuracy of fixed-point algorithms. In Proc. ACM/IEEE Design Automation and Test in Europe Conf., pages 1530-1591, 2002.
8. O. Mencer, D. Pearce, L. Howes, and W. Luk. Design space exploration with A Stream Compiler. In Proc. IEEE Int'l Conf. Field-Programmable Technology, pages 270-277, 2003.