@InProceedings{Wester12, title = "{S}pecification of {APERTIF} {P}olyphase {F}ilter {B}ank in {C}la{SH}", author= "Wester, Rinse and Sarakiotis, Dimitrios and Kooistra, Eric and Kuper, Jan", editor= "Welch, Peter H. and Barnes, Frederick R. M. and Chalmers, Kevin and Pedersen, Jan Bækgaard and Sampson, Adam T.", pages = "53--64", booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2012", isbn= "978-0-9565409-5-9", year= "2012", month= "aug", abstract= "ClaSH, a functional hardware description language based on Haskell, has several abstraction mechanisms that allow a hardware designer to describe architectures in a short and concise way. In this paper we evaluate ClaSH on a complex DSP application, a Polyphase Filter Bank as it is used in the ASTRON APERTIF project. The Polyphase Filter Bank is implemented in two steps: first in Haskell as being close to a standard mathematical specification, then in ClaSH which is derived from the Haskell formulation by applying only minor changes. We show that the ClaSH formulation can be directly mapped to hardware, thus exploiting the parallelism and concurrency that is present in the original mathematical specification." }