Range estimation of floating-point variables in Simulink models - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly
Conference Papers Year : 2012

Range estimation of floating-point variables in Simulink models


Fixed-point arithmetic is widely used in embedded applications because it allows to build compact, fast and low-power application-specific integrated circuits designs. Practically, many of them are designed using model-based design tool such as Matlab/Simulink which allow simulations in floating-point representations. From such a high level simulable model, embedded system designers have to size the proper fixed-point representation. Thus, the challenge is to transform floating-point algorithms into numerical equivalent fixed-point programs. As software increases in complexity and both arithmetics do not have the same behaviors, designers need tools to help them in this task. In this article, we present a new statistical method based on Extreme Value Theory to estimate the dynamic range of program variables. We show that this model fits better than Gumbel model to the range estimation in digital signal processing applications both for linear and nonlinear systems. We present several experiments to illustrate the practical use of our approach. We show few simulations are required in order to estimate the bit-width of the bound of the range.
No file

Dates and versions

hal-00816115 , version 1 (19-04-2013)


  • HAL Id : hal-00816115 , version 1


Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers. Range estimation of floating-point variables in Simulink models. Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8. ⟨hal-00816115⟩
172 View
0 Download


Gmail Facebook X LinkedIn More