Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

22072 Architecture Specifications in CλaSH
Home Policy Brochure Browse Search User Area Contact Help

Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T. (2011) Architecture Specifications in CλaSH. In: System Specification and Design Languages. Lecture Notes in Electrical Engineering 106. Springer Verlag, New York, pp. 191-206. ISBN 978-1-4614-1426-1

Full text available as:


298 Kb
Open Access

Official URL:

Exported to Metis


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.

Item Type:Book Section
Research Group:EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
Research Project:SoOS: Service-oriented Operating Systems, EASY: Embedded Adaptive Streaming sYstems
ID Code:22072
Deposited On:30 July 2012
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item