Feldspar: A Domain Specific Language for Digital Signal Processing algorithms (2010)
| Venue: | IN: PROC. 8 TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN. IEEE |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Axelsson10feldspar:a,
author = {Emil Axelsson and Koen Claessen and Gergely Dévai and Zoltán Horváth and Karin Keijzer and Anders Persson and Mary Sheeran and Josef Svenningsson and András Vajda and et al.},
title = { Feldspar: A Domain Specific Language for Digital Signal Processing algorithms},
booktitle = {IN: PROC. 8 TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN. IEEE},
year = {2010},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
... 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.
