Fixify: A Toolset for Automated Floating-point to Fixed-point Conversion

Automation of the floating-point to fixed-point conversion of algorithmic descriptions is expected to produce significant improvements in the design process of embedded systems, in terms of its eciency and error resilience. Although several analytical and statistical approaches to help the designer make the conversion trade-o between design parameters and implementation costs do exist, none are able to replace the designer in making the tradeo itself. Fixify, a toolset for automated floating-point to fixed-point conversion is presented here. It uses existing optimisation heuristics to perform the conversion tradeo, disburdening the designer and significantly improving the design process.

[1]  Rob A. Rutenbar,et al.  Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs , 2003, ICCAD 2003.

[2]  Heinrich Meyr,et al.  Design and DSP Implementation of Fixed-Point Systems , 2002, EURASIP J. Adv. Signal Process..

[3]  David Gregg,et al.  Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors , 2004, CC.

[4]  Markus Rupp,et al.  Automatic generation of virtual prototypes , 2004, Proceedings. 15th IEEE International Workshop on Rapid System Prototyping, 2004..

[5]  Robert W. Brodersen,et al.  An automated floating-point to fixed-point conversion methodology , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[6]  R. Subramanian.  Shannon vs Moore: driving the evolution of signal processing platforms in wireless communications , 2002, IEEE Workshop on Signal Processing Systems.

[7]  Yun Cao,et al.  Quality-driven design by bitwidth optimization for video applications , 2003, ASP-DAC '03.

[8]  Patrick Schaumont,et al.  A methodology and design environment for DSP ASIC fixed point refinement , 1999, DATE '99.

[9]  Tor M. Aamodt.  Floating-point to fixed-point compilation and embedded architectural support , 2001 .

[10]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[11]  Markus Rupp,et al.  Rapid prototyping for wireless designs: the five-ones approach , 2003, Signal Process..

[12]  Seehyun Kim,et al.  Fixed-point optimization utility for C and C++ based digital signal processing programs , 1998 .

[13]  Octavio Nieto-Taladriz,et al.  Fixed-point refinement of OFDM-based adaptive equalizers: An heuristic approach , 2004, 2004 12th European Signal Processing Conference.

[14]  Markus Rupp,et al.  Design Methodology of Signal Processing Algorithms in Wireless Systems , 2003 .

[15]  Mark Stephenson,et al.  Bidwidth analysis with application to silicon compilation , 2000, PLDI '00.

[16]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[17]  Markus Rupp,et al.  Faster Complex SoC Design by Virtual Prototyping , 2004 .

[18]  R. Cmar,et al.  A methodology and design environment for DSP ASIC fixed point refinement , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).