Kuper, J. and Baaij, C.P.R. and Kooijman, M. and Gerards, M.E.T.
Architecture Specifications in CλaSH.
System Specification and Design Languages.
Lecture Notes in Electrical Engineering 106.
Springer Verlag, New York, .
Full text available as:
Official URL: http://dx.doi.org/10.1007/978-1-4614-1427-8_12
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|
|Deposited On:||30 July 2012|
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item