Exercises in architecture specification using CλaSH

Jan Kuper; C.P.R. Baaij; Matthijs Kooijman; Marco Egbertus Theodorus Gerards

Exercises in architecture specification using CλaSH

Jan Kuper, C.P.R. Baaij, Matthijs Kooijman, Marco Egbertus Theodorus Gerards

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

243 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Proceedings of Forum on Specification and Design Languages, FDL 2010
Place of Publication	Gières, France
Publisher	ECSI Electronic Chips & Systems design Initiative
Pages	178-183
Number of pages	6
ISBN (Print)	1636-9874
Publication status	Published - 15 Sept 2010
Event	Forum on Specification and Design Languages, FDL 2010 - Southampton, England Duration: 13 Sept 2010 → 16 Sept 2010

Publication series

Name
Publisher	ECSI Electronic Chips & Systems design Initiative
ISSN (Print)	1636-9874

Conference

Conference	Forum on Specification and Design Languages, FDL 2010
Period	13/09/10 → 16/09/10
Other	13-16 September 2010

Keywords

IR-75093
EC Grant Agreement nr.: FP7/248465
EWI-18460
METIS-275648

Access to Document

Cite this

@inproceedings{008530b4940741c58857886915864164,

title = "Exercises in architecture specification using CλaSH",

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.",

keywords = "IR-75093, EC Grant Agreement nr.: FP7/248465, EWI-18460, METIS-275648",

author = "Jan Kuper and C.P.R. Baaij and Matthijs Kooijman and Gerards, {Marco Egbertus Theodorus}",

note = "eemcs-eprint-18460 ; Forum on Specification and Design Languages, FDL 2010 ; Conference date: 13-09-2010 Through 16-09-2010",

year = "2010",

month = sep,

day = "15",

language = "Undefined",

isbn = "1636-9874",

publisher = "ECSI Electronic Chips & Systems design Initiative",

pages = "178--183",

booktitle = "Proceedings of Forum on Specification and Design Languages, FDL 2010",

}

Exercises in architecture specification using CλaSH. / Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs et al.
Proceedings of Forum on Specification and Design Languages, FDL 2010. Gières, France: ECSI Electronic Chips & Systems design Initiative, 2010. p. 178-183.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Exercises in architecture specification using CλaSH

AU - Kuper, Jan

AU - Baaij, C.P.R.

AU - Kooijman, Matthijs

AU - Gerards, Marco Egbertus Theodorus

N1 - eemcs-eprint-18460

PY - 2010/9/15

Y1 - 2010/9/15

N2 - 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.

AB - 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.

KW - IR-75093

KW - EC Grant Agreement nr.: FP7/248465

KW - EWI-18460

KW - METIS-275648

M3 - Conference contribution

SN - 1636-9874

SP - 178

EP - 183

BT - Proceedings of Forum on Specification and Design Languages, FDL 2010

PB - ECSI Electronic Chips & Systems design Initiative

CY - Gières, France

T2 - Forum on Specification and Design Languages, FDL 2010

Y2 - 13 September 2010 through 16 September 2010

ER -