DocumentCode
2358513
Title
Deriving operational semantics from denotational semantics for Verilog
Author
Huibiao, Zhu ; Bowen, Jonathan P. ; Jifeng, He
Author_Institution
Centre for Appl. Formal Methods, South Bank Univ., London, UK
fYear
2001
fDate
4-7 Dec. 2001
Firstpage
177
Lastpage
184
Abstract
This paper presents the derivation of an operational semantics from a denotational semantics for a subset of the widely used hardware description language Verilog. Our aim is to build equivalence between the operational and denotational semantics. We propose a discrete denotational semantic model for Verilog. A phase semantics is provided for each type of transition in order to derive the operational semantics.
Keywords
hardware description languages; programming language semantics; Verilog; discrete denotational semantic model; hardware description language; operational semantics; phase semantics; Calculus; Computer languages; Concurrent computing; Data structures; Hardware design languages; Helium; Modems; Timing; Uniform resource locators; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1408-1
Type
conf
DOI
10.1109/APSEC.2001.991475
Filename
991475
Link To Document