Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24158
Title: | Meta-functional languages for hardware design and verification |
Authors: | Pace, Gordon J. Tabone, Christian |
Keywords: | Embedded computer systems Computer hardware description languages Integrated circuits -- Verification |
Issue Date: | 2010 |
Publisher: | CENICS |
Citation: | Pace, G. J., & Tabone, C. (2010). Meta-functional languages for hardware design and verification. Third International Conference on Advances in Circuits, Electronics and Micro-Electronics (CENICS), Venice. 45-50. |
Abstract: | The approach of embedding hardware description languages in general-purpose languages has been widely explored in the literature and has been shown to aid hardware design and verification. In this paper we explore the use of a meta-functional language reFLect as a host language for a hardware description language. We show how this approach aids the development, analysis and manipulation of embedded objects, whilst at the same time we keep meta-programming features largely invisible to the hardware designer. We illustrate the use of these techniques in supporting circuit placement techniques and automatic model checking of hardware compiler invariants. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/24158 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Meta-Functional_Languages_for_Hardware_Design_and_ (1).pdf | 64.5 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.