Architecture Specifications in CλaSH

Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs and Gerards, Marco (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 9781461414261

Preview

PDF
297Kb

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.
Item Type:	Book Section
Copyright:	© Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Computer Architecture for Embedded Systems (CAES)
Link to this item:	http://purl.utwente.nl/publications/80924
Official URL:	http://dx.doi.org/10.1007/978-1-4614-1427-8_12
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page