Share it now

DASIP 2012

Conference on Design & Architectures for Signal & Image Processing

October 23-25, 2012
Karlsruhe, Germany


DASIP 2012 Best Paper Award

Range Estimation of Floating-point Variables in Simulink Models
Laurent-Stéphane Didier (LIP6), Alexandre Chapoutot (ENSTA ParisTech), and Fanny Villers (LPMA)


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.


DASIP 2012 Best Poster Award

Synthesis of Arithmetic Expressions for the Fixed-point Arithmetic: The Sardana Approach
Arnault Ioualalen and Matthieu Martel (Université de Perpignan Via Domitia)

Sardana is a tool which optimizes the arithmetic expressions present in source codes. The optimization is done by synthesizing automatically new mathematically equal expressions, given ranges of values for the variables. In previous work, Sardana has been used to optimize the numerical accuracy of floating-point expressions, by minimizing the worst roundoff error on the result of the evaluation. In this article, we show how our tool can be used to synthesize arithmetic expressions optimized for the fixedpoint arithmetic. In this context, Sardana minimizes the number of bits required to represent without overflow the integer parts of the fixed-point numbers possibly occurring at any stage of the evaluation of an expression. We present experimental results showing how our tool optimizes the implementation of digital filters commonly used in image processing.


DASIP 2012 Best Demo Award

Prototype of a Radio-on-demand Broadcast Receiver with Real Time Musical Genre Classification
Olivier Romain (ETIS), Brunel Happi Tietche and Bruce Denby (UPMC)

This demo will show a prototype of a new software radio enabled broadcast media navigator implemented on an FPGA and quad-core processor, which is able to demodulate simultaneously all channel in the FM band and perform a real time classification of the musical genre. This prototype represents the elementary component of a navigator capable of searching the large quantities of information contained in the radio bands.

Share it now