• 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.
Original 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
StatePublished - Aug 2011
Event14th EUROMICRO Conference on Digital System Design, DSD 2011 - Oulu, Finland

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

Fingerprint

Hardware
Computer hardware description languages
Transparency
Chemical analysis

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. DOI: 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. ed. / P. Kitsos. USA : IEEE Computer Society, 2011. p. 495-502.

Research output: Scientific - peer-reviewConference contribution

@inbook{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",
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-2 September. DOI: 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: Scientific - peer-reviewConference contribution

TY - CHAP

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

PB - IEEE Computer Society

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. Available from, DOI: 10.1109/DSD.2011.69