Output details
11 - Computer Science and Informatics
Birmingham City University
Article title
From Algebraic Semantics to Denotational Semantics for Verilog
Type
D - Journal article
Title of journal
Innovations in Systems and Software Engineering: A NASA Journal
Article number
-
Volume number
4
Issue number
4
First page of article
341
ISSN of journal
1614-5046
Year of publication
2008
Number of additional authors
2
Additional information
<10> This paper is the result of collaborative research with colleagues in Shanghai, China. It investigates the semantics of the industrially used Hardware Description Language Verilog, in a Unified Theories of Programming (UTP) context, part of wider research in this area. Here a denotational semantics is formally derived from an algebraic semantics for the language, using a normal form approach. Verilog has traditional been informally defined in an international standard and investigations such as those here can help in the formal understanding of the semantics of the language. Further related formalization of Verilog has been undertaken by other researchers internationally.
Interdisciplinary
-
Cross-referral requested
-
Research group
3 - Software Engineering
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
