@inbook{e9522dd8a8e7463eb7be645fbabd0466,
title = "Architecture Specifications in CλaSH",
abstract = "This paper introduces CλaSH, a novel hardware specification environment, by discussing several non-trivial examples. CλaSH is based on the functional language Haskell, and exploits many of its powerful abstraction mechanisms such as higher order functions, polymorphism, lambda abstraction, pattern matching, type derivation. As a result, specifications in CλaSH are concise and semantically clear, and simulations can be directly executed within a Haskell evaluation environment. CλaSH generates synthesizable low-level VHDL code by applying several transformation rules to a functional specification of a digital circuit.",
keywords = "METIS-287938, EC Grant Agreement nr.: FP7/248465, EWI-22072, IR-80924",
author = "Jan Kuper and C.P.R. Baaij and Matthijs Kooijman and Gerards, {Marco Egbertus Theodorus}",
note = "eemcs-eprint-22072 ",
year = "2011",
month = dec,
day = "2",
doi = "10.1007/978-1-4614-1427-8_12",
language = "Undefined",
isbn = "978-1-4614-1426-1",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer",
number = "106",
pages = "191--206",
editor = "T.J. Ka{\'z}mierski and A. Morawiec",
booktitle = "System Specification and Design Languages",
address = "Germany",
}