Higher-Order Abstraction in Hardware Descriptions with CλaSH

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 4 Citations

Abstract

Synchronous hardware can be straightforwardly modelled as a function from input and (current) state to an updated state and output. The CλaSH compiler can translate such a transition function, described in a functional language,to synthesisable VHDL. Taking a hardware-oriented viewpoint, components can then be seen as an instantiation of such a transition function. An abstraction called Arrows is used to directly model components by combining a transition function and its state. The abstraction also provides an uniform interface for composition, without losing the referential transparency offered by a functional description. Furthermore, readability of hardware designs is increased by the use of the γ-syntax, that automatically composes components according to the Arrow interface. The advantages of the Arrow abstraction and the γ-syntax are demonstrated by means of a realistic example circuit consisting of multiple components. This is a significant extension to CλaSH and enables many high level abstractions.
LanguageUndefined
Title of host publicationProceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011
EditorsP. Kitsos
Place of PublicationUSA
PublisherIEEE Computer Society
Pages495-502
Number of pages8
ISBN (Print)978-0-7695-4494-6
DOIs
Publication statusPublished - Aug 2011
Event14th EUROMICRO Conference on Digital System Design, DSD 2011 - Oulu, Finland
Duration: 31 Aug 20112 Sep 2011
Conference number: 14
http://dsmc2.eap.gr/dsd2011/

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference14th EUROMICRO Conference on Digital System Design, DSD 2011
Abbreviated titleDSD
CountryFinland
CityOulu
Period31/08/112/09/11
Internet address

Keywords

  • EWI-20645
  • Pipeline processing
  • Hardware Description Languages
  • Functional Programming
  • IR-78217
  • METIS-278854

Cite this

Gerards, M. E. T., Baaij, C. P. R., Kuper, J., & Kooijman, M. (2011). Higher-Order Abstraction in Hardware Descriptions with CλaSH. In P. Kitsos (Ed.), Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011 (pp. 495-502). USA: IEEE Computer Society. https://doi.org/10.1109/DSD.2011.69
Gerards, Marco Egbertus Theodorus ; Baaij, C.P.R. ; Kuper, Jan ; Kooijman, Matthijs. / Higher-Order Abstraction in Hardware Descriptions with CλaSH. Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011. editor / P. Kitsos. USA : IEEE Computer Society, 2011. pp. 495-502
@inproceedings{f5d1f153cf214bb29a8690febfd29fc6,
title = "Higher-Order Abstraction in Hardware Descriptions with CλaSH",
abstract = "Synchronous hardware can be straightforwardly modelled as a function from input and (current) state to an updated state and output. The CλaSH compiler can translate such a transition function, described in a functional language,to synthesisable VHDL. Taking a hardware-oriented viewpoint, components can then be seen as an instantiation of such a transition function. An abstraction called Arrows is used to directly model components by combining a transition function and its state. The abstraction also provides an uniform interface for composition, without losing the referential transparency offered by a functional description. Furthermore, readability of hardware designs is increased by the use of the γ-syntax, that automatically composes components according to the Arrow interface. The advantages of the Arrow abstraction and the γ-syntax are demonstrated by means of a realistic example circuit consisting of multiple components. This is a significant extension to CλaSH and enables many high level abstractions.",
keywords = "EWI-20645, Pipeline processing, Hardware Description Languages, Functional Programming, IR-78217, METIS-278854",
author = "Gerards, {Marco Egbertus Theodorus} and C.P.R. Baaij and Jan Kuper and Matthijs Kooijman",
note = "10.1109/DSD.2011.69",
year = "2011",
month = "8",
doi = "10.1109/DSD.2011.69",
language = "Undefined",
isbn = "978-0-7695-4494-6",
publisher = "IEEE Computer Society",
pages = "495--502",
editor = "P. Kitsos",
booktitle = "Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011",
address = "United States",

}

Gerards, MET, Baaij, CPR, Kuper, J & Kooijman, M 2011, Higher-Order Abstraction in Hardware Descriptions with CλaSH. in P Kitsos (ed.), Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011. IEEE Computer Society, USA, pp. 495-502, 14th EUROMICRO Conference on Digital System Design, DSD 2011, Oulu, Finland, 31/08/11. https://doi.org/10.1109/DSD.2011.69

Higher-Order Abstraction in Hardware Descriptions with CλaSH. / Gerards, Marco Egbertus Theodorus; Baaij, C.P.R.; Kuper, Jan; Kooijman, Matthijs.

Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011. ed. / P. Kitsos. USA : IEEE Computer Society, 2011. p. 495-502.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Higher-Order Abstraction in Hardware Descriptions with CλaSH

AU - Gerards, Marco Egbertus Theodorus

AU - Baaij, C.P.R.

AU - Kuper, Jan

AU - Kooijman, Matthijs

N1 - 10.1109/DSD.2011.69

PY - 2011/8

Y1 - 2011/8

N2 - Synchronous hardware can be straightforwardly modelled as a function from input and (current) state to an updated state and output. The CλaSH compiler can translate such a transition function, described in a functional language,to synthesisable VHDL. Taking a hardware-oriented viewpoint, components can then be seen as an instantiation of such a transition function. An abstraction called Arrows is used to directly model components by combining a transition function and its state. The abstraction also provides an uniform interface for composition, without losing the referential transparency offered by a functional description. Furthermore, readability of hardware designs is increased by the use of the γ-syntax, that automatically composes components according to the Arrow interface. The advantages of the Arrow abstraction and the γ-syntax are demonstrated by means of a realistic example circuit consisting of multiple components. This is a significant extension to CλaSH and enables many high level abstractions.

AB - Synchronous hardware can be straightforwardly modelled as a function from input and (current) state to an updated state and output. The CλaSH compiler can translate such a transition function, described in a functional language,to synthesisable VHDL. Taking a hardware-oriented viewpoint, components can then be seen as an instantiation of such a transition function. An abstraction called Arrows is used to directly model components by combining a transition function and its state. The abstraction also provides an uniform interface for composition, without losing the referential transparency offered by a functional description. Furthermore, readability of hardware designs is increased by the use of the γ-syntax, that automatically composes components according to the Arrow interface. The advantages of the Arrow abstraction and the γ-syntax are demonstrated by means of a realistic example circuit consisting of multiple components. This is a significant extension to CλaSH and enables many high level abstractions.

KW - EWI-20645

KW - Pipeline processing

KW - Hardware Description Languages

KW - Functional Programming

KW - IR-78217

KW - METIS-278854

U2 - 10.1109/DSD.2011.69

DO - 10.1109/DSD.2011.69

M3 - Conference contribution

SN - 978-0-7695-4494-6

SP - 495

EP - 502

BT - Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011

A2 - Kitsos, P.

PB - IEEE Computer Society

CY - USA

ER -

Gerards MET, Baaij CPR, Kuper J, Kooijman M. Higher-Order Abstraction in Hardware Descriptions with CλaSH. In Kitsos P, editor, Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011. USA: IEEE Computer Society. 2011. p. 495-502 https://doi.org/10.1109/DSD.2011.69