Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22458
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Claessen, Koen | - |
dc.date.accessioned | 2017-10-11T08:25:36Z | - |
dc.date.available | 2017-10-11T08:25:36Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Claessen, K. (2005). Verifying hardware compilers. 3rd Computer Science Annual Workshop (CSAW’05), Kalkara. 23-30. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22458 | - |
dc.description.abstract | The use of hardware compilers to generate complex circuits from a high-level description is becoming more and more prevalent in a variety of application areas. However, this introduces further risks as the compilation process may introduce errors in otherwise correct high-level descriptions of circuits. In this paper, we present techniques to enable the automatic verification of hardware compilers through the use of finite-state model checkers. We illustrate the use of these techniques on a simple regular expression hardware compiler and discuss how these techniques can be further developed and used on more complex hardware- description languages. | 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 | Compilers (Computer programs) | en_GB |
dc.subject | Compiling (Electronic computers) | en_GB |
dc.subject | Computer hardware description languages | en_GB |
dc.subject | Sequential machine theory | en_GB |
dc.title | Verifying hardware compilers | 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 | 3rd Computer Science Annual Workshop (CSAW’05) | en_GB |
dc.bibliographicCitation.conferenceplace | Kalkara, Malta, 28-29/09/2005 | 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’05 - A4.pdf | 172.3 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.