CλaSH: Structural Descriptions of Synchronous Hardware using Haskell

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 32 Citations

Abstract

CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. Polymorphism and higher-order functions provide a level of abstraction and generality that allow a circuit designer to describe circuits in a more natural way than possible with the language elements found in the traditional hardware description languages. Circuit descriptions can be translated to synthesizable VHDL using the prototype CλaSH compiler. As the circuit descriptions, simulation code, and test input are also valid Haskell, complete simulations can be done by a Haskell compiler or interpreter, allowing high-speed simulation and analysis.
LanguageEnglish
Title of host publicationProceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools
Place of PublicationUSA
PublisherIEEE Computer Society
Pages714-721
Number of pages8
ISBN (Print)978-0-7695-4171-6
DOIs
StatePublished - Sep 2010
Event13th EUROMICRO Conference on Digital System Design, DSD 2010 - Lille, France
Duration: 1 Sep 20103 Sep 2010
Conference number: 13

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference13th EUROMICRO Conference on Digital System Design, DSD 2010
Abbreviated titleDSD
CountryFrance
CityLille
Period1/09/103/09/10

Fingerprint

Computer hardware description languages
Hardware
Networks (circuits)
Functional programming
Polymorphism
Computer programming languages
Semantics

Keywords

  • METIS-277424
  • EWI-18376
  • EC Grant Agreement nr.: FP7/248465
  • IR-73124

Cite this

Baaij, C. P. R., Kooijman, M., Kuper, J., Boeijink, W. A., & Gerards, M. E. T. (2010). CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools (pp. 714-721). USA: IEEE Computer Society. DOI: 10.1109/DSD.2010.21
Baaij, C.P.R. ; Kooijman, Matthijs ; Kuper, Jan ; Boeijink, W.A. ; Gerards, Marco Egbertus Theodorus. / CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools. USA : IEEE Computer Society, 2010. pp. 714-721
@inproceedings{9757220bc9b74da2b90d25516d587a62,
title = "CλaSH: Structural Descriptions of Synchronous Hardware using Haskell",
abstract = "CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. Polymorphism and higher-order functions provide a level of abstraction and generality that allow a circuit designer to describe circuits in a more natural way than possible with the language elements found in the traditional hardware description languages. Circuit descriptions can be translated to synthesizable VHDL using the prototype CλaSH compiler. As the circuit descriptions, simulation code, and test input are also valid Haskell, complete simulations can be done by a Haskell compiler or interpreter, allowing high-speed simulation and analysis.",
keywords = "METIS-277424, EWI-18376, EC Grant Agreement nr.: FP7/248465, IR-73124",
author = "C.P.R. Baaij and Matthijs Kooijman and Jan Kuper and W.A. Boeijink and Gerards, {Marco Egbertus Theodorus}",
note = "eemcs-eprint-18376",
year = "2010",
month = "9",
doi = "10.1109/DSD.2010.21",
language = "English",
isbn = "978-0-7695-4171-6",
publisher = "IEEE Computer Society",
pages = "714--721",
booktitle = "Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools",
address = "United States",

}

Baaij, CPR, Kooijman, M, Kuper, J, Boeijink, WA & Gerards, MET 2010, CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. in Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools. IEEE Computer Society, USA, pp. 714-721, 13th EUROMICRO Conference on Digital System Design, DSD 2010, Lille, France, 1/09/10. DOI: 10.1109/DSD.2010.21

CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. / Baaij, C.P.R.; Kooijman, Matthijs; Kuper, Jan; Boeijink, W.A.; Gerards, Marco Egbertus Theodorus.

Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools. USA : IEEE Computer Society, 2010. p. 714-721.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - CλaSH: Structural Descriptions of Synchronous Hardware using Haskell

AU - Baaij,C.P.R.

AU - Kooijman,Matthijs

AU - Kuper,Jan

AU - Boeijink,W.A.

AU - Gerards,Marco Egbertus Theodorus

N1 - eemcs-eprint-18376

PY - 2010/9

Y1 - 2010/9

N2 - CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. Polymorphism and higher-order functions provide a level of abstraction and generality that allow a circuit designer to describe circuits in a more natural way than possible with the language elements found in the traditional hardware description languages. Circuit descriptions can be translated to synthesizable VHDL using the prototype CλaSH compiler. As the circuit descriptions, simulation code, and test input are also valid Haskell, complete simulations can be done by a Haskell compiler or interpreter, allowing high-speed simulation and analysis.

AB - CλaSH is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. Polymorphism and higher-order functions provide a level of abstraction and generality that allow a circuit designer to describe circuits in a more natural way than possible with the language elements found in the traditional hardware description languages. Circuit descriptions can be translated to synthesizable VHDL using the prototype CλaSH compiler. As the circuit descriptions, simulation code, and test input are also valid Haskell, complete simulations can be done by a Haskell compiler or interpreter, allowing high-speed simulation and analysis.

KW - METIS-277424

KW - EWI-18376

KW - EC Grant Agreement nr.: FP7/248465

KW - IR-73124

U2 - 10.1109/DSD.2010.21

DO - 10.1109/DSD.2010.21

M3 - Conference contribution

SN - 978-0-7695-4171-6

SP - 714

EP - 721

BT - Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools

PB - IEEE Computer Society

CY - USA

ER -

Baaij CPR, Kooijman M, Kuper J, Boeijink WA, Gerards MET. CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools. USA: IEEE Computer Society. 2010. p. 714-721. Available from, DOI: 10.1109/DSD.2010.21