Deriving operational semantics from denotational semantics for Verilog

Zhu Huibiao; Jonathan P. Bowen; He Jifeng

Deriving operational semantics from denotational semantics for Verilog

Zhu Huibiao, Jonathan P. Bowen, He Jifeng

London South Bank University

Research output: Contribution to conference › Paper › peer-review

12 Scopus citations

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.

Original language	English
Pages	177-184
Number of pages	8
State	Published - 2001
Externally published	Yes
Event	8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China Duration: 4 Dec 2001 → 7 Dec 2001

Conference

Conference	8th Asia Pacific Software Engineering Conference APSEC'2001
Country/Territory	China
City	Macao
Period	4/12/01 → 7/12/01

Cite this

@conference{35070845aa6b476eba0d9799e046f66c,

title = "Deriving operational semantics from denotational semantics for Verilog",

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.",

author = "Zhu Huibiao and Bowen, \{Jonathan P.\} and He Jifeng",

year = "2001",

language = "英语",

pages = "177--184",

note = "8th Asia Pacific Software Engineering Conference APSEC'2001 ; Conference date: 04-12-2001 Through 07-12-2001",

}

TY - CONF

T1 - Deriving operational semantics from denotational semantics for Verilog

AU - Huibiao, Zhu

AU - Bowen, Jonathan P.

AU - Jifeng, He

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0035690269

M3 - 论文

AN - SCOPUS:0035690269

SP - 177

EP - 184

T2 - 8th Asia Pacific Software Engineering Conference APSEC'2001

Y2 - 4 December 2001 through 7 December 2001

ER -

Deriving operational semantics from denotational semantics for Verilog

Abstract

Conference

Other files and links

Fingerprint

Cite this