文献类型：期刊文献

中文题名：Verilog的一个操作语义模型

英文题名：An Operational Semantics of Verilog

作者：崔宏斌[1];宋国新[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2004

卷号：30

期号：1

起止页码：78

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：形式语义学;Verilog;操作语义;并发性;模型

外文关键词：formal semantics; Verilog; operational semantics; parallelism; model

摘要：提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。
This paper presents an operational semantics of Verilog. We choose a subset of Verilog for our research, which hold the key features of Verilog, including event control, time delay, and concurrency. We define a set of notes to present the configurations and a set of transition rules over configurations.