Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22749
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pace, Gordon J. | - |
dc.date.accessioned | 2017-10-17T10:15:00Z | - |
dc.date.available | 2017-10-17T10:15:00Z | - |
dc.date.issued | 2007 | - |
dc.identifier.citation | Pace, G. J. (2007). HeDLa : a strongly typed, component-based embedded hardware description language. 5th Computer Science Annual Workshop (CSAW’07), Msida. 192-202. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22749 | - |
dc.description.abstract | Over the past years, various techniques for the embedding of hardware description languages within general purpose languages have been developed and explored. In particular, numerous HDLs embedded in strongly typed functional languages have been developed and used for different applications. A common trait of most of these languages is that they treat hardware components as functions or relations between the inputs and outputs of the circuit. The alternative view, of viewing the circuits as components which can be instantiated, composed and transformed has been a relatively less well explored area in this context. In this paper we present HeDLa, a component-based hardware description language embedded in Haskell, and show how features such as strong-typing and higher-order functions enable us to design and compose circuits in a safer and more abstract fashion. Furthermore, the component-based approach allows access to circuit structure directly, enabling us to reason about non-functional aspects of the component, such as placement, area and power consumption more easily. Finally, we discuss some initial experiments in multi-level simulation of circuits which enable testing and more effective simulation of large circuits. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of ICT | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer hardware description languages | en_GB |
dc.subject | Embedded computer systems | en_GB |
dc.subject | Haskell (Computer program language) | en_GB |
dc.subject | Domain-specific programming languages | en_GB |
dc.title | HeDLa : a strongly typed, component-based embedded hardware description language | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.bibliographicCitation.conferencename | 5th Computer Science Annual Workshop (CSAW’07) | en_GB |
dc.bibliographicCitation.conferenceplace | Msida, Malta, 5-6/11/2007 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW’07 - A19.pdf | 107.82 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.