Higher-Order Abstraction in Hardware Descriptions with CλaSH
| Autor: | Gerards, Marco Egbertus Theodorus, Baaij, C.P.R., Kuper, Jan, Kooijman, Matthijs, Kitsos, P. |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
Functional programming
Computer science business.industry Programming language Interface (computing) Functional Programming Hardware description language EWI-20645 Function (mathematics) Abstract data type computer.software_genre IR-78217 Pipeline processing VHDL State (computer science) Compiler METIS-278854 business Hardware Description Languages computer Computer hardware computer.programming_language |
| Zdroj: | Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011, 495-502 STARTPAGE=495;ENDPAGE=502;TITLE=Proceedings of the 14th EUROMICRO Conference on Digital System Design, DSD 2011 DSD |
| Popis: | Synchronous hardware can be straight forwardly 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 atransition 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|