EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

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:

PDF

298 Kb
Open Access



Official URL: http://dx.doi.org/10.1007/978-1-4614-1427-8_12

Exported to Metis

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
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
Status:Published
Deposited On:30 July 2012
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item