Higher-Order Abstraction in Hardware Descriptions with CλaSH

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

doi:10.1109/DSD.2011.69

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 proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

244 Downloads (Pure)

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 language	Undefined
Title of host publication	Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011
Editors	P. Kitsos
Place of Publication	USA
Publisher	IEEE
Pages	495-502
Number of pages	8
ISBN (Print)	978-0-7695-4494-6
DOIs	https://doi.org/10.1109/DSD.2011.69
Publication status	Published - Aug 2011
Event	14th EUROMICRO Conference on Digital System Design, DSD 2011 - Oulu, Finland Duration: 31 Aug 2011 → 2 Sept 2011 Conference number: 14 http://dsmc2.eap.gr/dsd2011/

Publication series

Name
Publisher	IEEE Computer Society

Conference

Conference	14th EUROMICRO Conference on Digital System Design, DSD 2011
Abbreviated title	DSD
Country/Territory	Finland
City	Oulu
Period	31/08/11 → 2/09/11
Internet address	http://dsmc2.eap.gr/dsd2011/

Keywords

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

Access to Document

10.1109/DSD.2011.69

Higher_Order_ClaSH_DSD2011

http://eprints.eemcs.utwente.nl/secure2/20645/01/Higher_Order_ClaSH_DSD2011.pdf

Cite this

@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 ; 14th EUROMICRO Conference on Digital System Design, DSD 2011 ; Conference date: 31-08-2011 Through 02-09-2011",

year = "2011",

month = aug,

doi = "10.1109/DSD.2011.69",

language = "Undefined",

isbn = "978-0-7695-4494-6",

publisher = "IEEE",

pages = "495--502",

editor = "P. Kitsos",

booktitle = "Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011",

address = "United States",

url = "http://dsmc2.eap.gr/dsd2011/",

}

Higher-Order Abstraction in Hardware Descriptions with CλaSH. / Gerards, Marco Egbertus Theodorus; Baaij, C.P.R.; Kuper, Jan et al.
Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011. ed. / P. Kitsos. USA: IEEE, 2011. p. 495-502.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 - Conference code: 14

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

CY - USA

T2 - 14th EUROMICRO Conference on Digital System Design, DSD 2011

Y2 - 31 August 2011 through 2 September 2011

ER -