Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
Paper in proceeding, 2010

A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional language embedded in Haskell. It offers a high-level dataflow style of programming, as well as a more mathematical style based on vector indices. The key to generating efficient code from such descriptions is a high-level optimization technique called vector fusion. Feldspar is based on a low-level, functional core language which has a relatively small semantic gap to machine-oriented languages like C. The core language serves as the interface to the back-end code generator, which produces C. For very small examples, the generated code performs comparably to hand-written C code when run on a DSP target. While initial results are promising, to achieve good performance on larger examples, issues related to memory access patterns and array copying will have to be addressed.

Author

Emil Axelsson

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Koen Lindström Claessen

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Gergely Dévai

Eötvös Loránd University (ELTE)

Zoltán Horváth

Eötvös Loránd University (ELTE)

Karin Keijzer

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Bo Lyckegård

Ericsson

Anders Persson

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Mary Sheeran

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Josef Svenningsson

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

András Vajda

Ericsson Research AB

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign

169-178
978-142447885-9 (ISBN)

Areas of Advance

Information and Communication Technology

Subject Categories

Information Science

Computer Science

DOI

10.1109/MEMCOD.2010.5558637

ISBN

978-142447885-9

More information

Latest update

9/6/2018 1