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.
Original languageUndefined
Title of host publicationSystem Specification and Design Languages
EditorsT.J. Kaźmierski, A. Morawiec
Place of PublicationNew York
PublisherSpringer Verlag
Pages191-206
Number of pages16
ISBN (Print)978-1-4614-1426-1
DOIs
StatePublished - 2 Dec 2011

Publication series

NameLecture Notes in Electrical Engineering
PublisherSpringer Verlag
Number106
Volume106

Fingerprint

Specifications
Computer hardware description languages
Pattern matching
Digital circuits
Polymorphism
Hardware

Keywords

  • METIS-287938
  • EC Grant Agreement nr.: FP7/248465
  • EWI-22072
  • IR-80924

Cite this

Kuper, J., Baaij, C. P. R., Kooijman, M., & Gerards, M. E. T. (2011). Architecture Specifications in CλaSH. In T. J. Kaźmierski, & A. Morawiec (Eds.), System Specification and Design Languages (pp. 191-206). (Lecture Notes in Electrical Engineering; Vol. 106, No. 106). New York: Springer Verlag. DOI: 10.1007/978-1-4614-1427-8_12

Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs; Gerards, Marco Egbertus Theodorus / Architecture Specifications in CλaSH.

System Specification and Design Languages. ed. / T.J. Kaźmierski; A. Morawiec. New York : Springer Verlag, 2011. p. 191-206 (Lecture Notes in Electrical Engineering; Vol. 106, No. 106).

Research output: Scientific - peer-reviewChapter

@inbook{e9522dd8a8e7463eb7be645fbabd0466,
title = "Architecture Specifications in CλaSH",
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.",
keywords = "METIS-287938, EC Grant Agreement nr.: FP7/248465, EWI-22072, IR-80924",
author = "Jan Kuper and C.P.R. Baaij and Matthijs Kooijman and Gerards, {Marco Egbertus Theodorus}",
note = "eemcs-eprint-22072",
year = "2011",
month = "12",
doi = "10.1007/978-1-4614-1427-8_12",
isbn = "978-1-4614-1426-1",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer Verlag",
number = "106",
pages = "191--206",
editor = "T.J. Kaźmierski and A. Morawiec",
booktitle = "System Specification and Design Languages",
address = "Germany",

}

Kuper, J, Baaij, CPR, Kooijman, M & Gerards, MET 2011, Architecture Specifications in CλaSH. in TJ Kaźmierski & A Morawiec (eds), System Specification and Design Languages. Lecture Notes in Electrical Engineering, no. 106, vol. 106, Springer Verlag, New York, pp. 191-206. DOI: 10.1007/978-1-4614-1427-8_12

Architecture Specifications in CλaSH. / Kuper, Jan; Baaij, C.P.R.; Kooijman, Matthijs; Gerards, Marco Egbertus Theodorus.

System Specification and Design Languages. ed. / T.J. Kaźmierski; A. Morawiec. New York : Springer Verlag, 2011. p. 191-206 (Lecture Notes in Electrical Engineering; Vol. 106, No. 106).

Research output: Scientific - peer-reviewChapter

TY - CHAP

T1 - Architecture Specifications in CλaSH

AU - Kuper,Jan

AU - Baaij,C.P.R.

AU - Kooijman,Matthijs

AU - Gerards,Marco Egbertus Theodorus

N1 - eemcs-eprint-22072

PY - 2011/12/2

Y1 - 2011/12/2

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

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

KW - METIS-287938

KW - EC Grant Agreement nr.: FP7/248465

KW - EWI-22072

KW - IR-80924

U2 - 10.1007/978-1-4614-1427-8_12

DO - 10.1007/978-1-4614-1427-8_12

M3 - Chapter

SN - 978-1-4614-1426-1

T3 - Lecture Notes in Electrical Engineering

SP - 191

EP - 206

BT - System Specification and Design Languages

PB - Springer Verlag

ER -

Kuper J, Baaij CPR, Kooijman M, Gerards MET. Architecture Specifications in CλaSH. In Kaźmierski TJ, Morawiec A, editors, System Specification and Design Languages. New York: Springer Verlag. 2011. p. 191-206. (Lecture Notes in Electrical Engineering; 106). Available from, DOI: 10.1007/978-1-4614-1427-8_12