EEMCS

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

EEMCS EPrints Service


18460 Exercises in architecture specification using 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. (2010) Exercises in architecture specification using CλaSH. In: Proceedings of Forum on Specification and Design Languages, FDL 2010, 13-16 September 2010, Southampton, England. pp. 178-183. ECSI Electronic Chips & Systems design Initiative. ISSN 1636-9874

Full text available as:

PDF

290 Kb
Open Access


Exported to Metis

Abstract

This paper introduces the hardware specification system ClaSH by elaborating on a few non-trivial examples. ClaSH is a compiling system that translates a subset of Haskell into synthesizable VHDL by a rewriting technique. This subset of Haskell includes higher order functions, polymorphism, lambda abstraction, pattern matching, and choice constructs.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
Research Project:SoOS: Service-oriented Operating Systems
ID Code:18460
Status:Published
Deposited On:10 December 2010
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