CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Feldspar: A Domain Specific Language for Digital Signal Processing algorithms

Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Gergely Dévai ; Zoltán Horváth ; Karin Keijzer (Institutionen för data- och informationsteknik, Datavetenskap, Algoritmer (Chalmers)) ; Bo Lyckegård ; Anders Persson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Mary Sheeran (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Josef Svenningsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; András Vajda
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign p. 169-178 . (2010)
[Konferensbidrag, refereegranskat]

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.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2010-05-05. Senast ändrad 2016-08-16.
CPL Pubid: 121204

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)
Institutionen för data- och informationsteknik, Datavetenskap, Algoritmer (Chalmers)

Ämnesområden

Informations- och kommunikationsteknik
Datavetenskap (datalogi)
Systemteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


Towards a Functional Programming Language for Baseband Signal Processing