Output details
11 - Computer Science and Informatics
Birmingham City University
From Algebraic Semantics to Denotational Semantics for Verilog
<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.