Output details
11 - Computer Science and Informatics
University of Manchester
Article title
A monadic approach to automated reasoning for Bluespec SystemVerilog
Type
D - Journal article
Title of journal
Innovations in Systems and Software Engineering
Article number
-
Volume number
7
Issue number
2
First page of article
85
ISSN of journal
1614-5054
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<01> This paper presents an approach to the provision of formal underpinnings for a commercial hardware definition language. The paper is significant because it shows how hardware designs can be translated into logic in a way that allows verification of a broader class of properties than with model checking alone.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-