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 languageUndefined
Title of host publicationProceedings of Forum on Specification and Design Languages, FDL 2010
Place of PublicationGières, France
PublisherECSI Electronic Chips & Systems design Initiative
Pages178-183
Number of pages6
ISBN (Print)1636-9874
StatePublished - 15 Sep 2010

Publication series

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

Fingerprint

Computer hardware description languages
Pattern matching
Set theory
Polymorphism
Specifications
Hardware

Keywords

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

Cite this

Kuper, J., Baaij, C. P. R., Kooijman, M., & Gerards, M. E. T. (2010). Exercises in architecture specification using CλaSH. In Proceedings of Forum on Specification and Design Languages, FDL 2010 (pp. 178-183). Gières, France: ECSI Electronic Chips & Systems design Initiative.

Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs; Gerards, Marco Egbertus Theodorus / Exercises in architecture specification using CλaSH.

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: Scientific - peer-reviewConference contribution

@inbook{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",
year = "2010",
month = "9",
isbn = "1636-9874",
publisher = "ECSI Electronic Chips & Systems design Initiative",
pages = "178--183",
booktitle = "Proceedings of Forum on Specification and Design Languages, FDL 2010",

}

Kuper, J, Baaij, CPR, Kooijman, M & Gerards, MET 2010, Exercises in architecture specification using CλaSH. in Proceedings of Forum on Specification and Design Languages, FDL 2010. ECSI Electronic Chips & Systems design Initiative, Gières, France, pp. 178-183.

Exercises in architecture specification using CλaSH. / Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs; Gerards, Marco Egbertus Theodorus.

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: Scientific - peer-reviewConference contribution

TY - CHAP

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

ER -

Kuper J, Baaij CPR, Kooijman M, Gerards MET. Exercises in architecture specification using CλaSH. In Proceedings of Forum on Specification and Design Languages, FDL 2010. Gières, France: ECSI Electronic Chips & Systems design Initiative. 2010. p. 178-183.