Higher-Order Abstraction in Hardware Descriptions with CλaSH


Gerards, Marco and Baaij, Christiaan and Kuper, Jan and Kooijman, Matthijs (2011) Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: 14th EUROMICRO Conference on Digital System Design, DSD 2011, 31 Aug - 2 Sept 2011, Oulu, Finland (pp. pp. 495-502).

open access
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.
Item Type:Conference or Workshop Item
Copyright:© 2011 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/78217
Official URL:https://doi.org/10.1109/DSD.2011.69
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page