Study on the formal semantics of Verilog

Yong Jian Li; Yong Qiang Sun; Ji Feng He

Study on the formal semantics of Verilog

Yong Jian Li^*
, Yong Qiang Sun
, Ji Feng He

^*此作品的通讯作者

Shanghai Jiao Tong University

科研成果: 期刊稿件 › 文章 › 同行评审

摘要

The semantics of Verilog program are studied in a discrete-continuous hybrid time model. A hybrid interval is denoted as the description of a run of Verilog program. An extended ITL is presented to describe this kind of hybrid interval. This semantics not only considers the ultimate execution effects of all kinds ingredients of language, but also gives their temporal characteristics.

源语言	英语
页（从-至）	1573-1580
页数	8
期刊	Ruan Jian Xue Bao/Journal of Software
卷	12
期	10
出版状态	已出版 - 10月 2001
已对外发布	是

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{4d1cedc399b64848889b346e673ab844,

title = "Study on the formal semantics of Verilog",

abstract = "The semantics of Verilog program are studied in a discrete-continuous hybrid time model. A hybrid interval is denoted as the description of a run of Verilog program. An extended ITL is presented to describe this kind of hybrid interval. This semantics not only considers the ultimate execution effects of all kinds ingredients of language, but also gives their temporal characteristics.",

keywords = "Hybrid system, Interleaving concurrency, Interval temporal logic, Scheduling of discrete event, Verilog",

author = "Li, \{Yong Jian\} and Sun, \{Yong Qiang\} and He, \{Ji Feng\}",

year = "2001",

month = oct,

language = "英语",

volume = "12",

pages = "1573--1580",

journal = "Ruan Jian Xue Bao/Journal of Software",

issn = "1000-9825",

publisher = "Chinese Academy of Sciences",

number = "10",

}

TY - JOUR

T1 - Study on the formal semantics of Verilog

AU - Li, Yong Jian

AU - Sun, Yong Qiang

AU - He, Ji Feng

PY - 2001/10

Y1 - 2001/10

N2 - The semantics of Verilog program are studied in a discrete-continuous hybrid time model. A hybrid interval is denoted as the description of a run of Verilog program. An extended ITL is presented to describe this kind of hybrid interval. This semantics not only considers the ultimate execution effects of all kinds ingredients of language, but also gives their temporal characteristics.

AB - The semantics of Verilog program are studied in a discrete-continuous hybrid time model. A hybrid interval is denoted as the description of a run of Verilog program. An extended ITL is presented to describe this kind of hybrid interval. This semantics not only considers the ultimate execution effects of all kinds ingredients of language, but also gives their temporal characteristics.

KW - Hybrid system

KW - Interleaving concurrency

KW - Interval temporal logic

KW - Scheduling of discrete event

KW - Verilog

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

M3 - 文章

AN - SCOPUS:0035494068

SN - 1000-9825

VL - 12

SP - 1573

EP - 1580

JO - Ruan Jian Xue Bao/Journal of Software

JF - Ruan Jian Xue Bao/Journal of Software

IS - 10

ER -

Study on the formal semantics of Verilog

摘要

其它文件与链接

指纹

引用此