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

科研成果: 会议稿件 › 论文 › 同行评审

12 引用（Scopus）

摘要

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.

源语言	英语
页	177-184
页数	8
出版状态	已出版 - 2001
已对外发布	是
活动	8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, 中国期限: 4 12月 2001 → 7 12月 2001

会议

会议	8th Asia Pacific Software Engineering Conference APSEC'2001
国家/地区	中国
市	Macao
时期	4/12/01 → 7/12/01

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

会议

其它文件与链接

学术指纹

引用此