Verilog的一个操作语义模型

崔宏斌, 宋国新. Verilog的一个操作语义模型[J]. 华东理工大学学报（自然科学版）, 2004, (1): 78-81.

引用本文:

崔宏斌, 宋国新. Verilog的一个操作语义模型[J]. 华东理工大学学报（自然科学版）, 2004, (1): 78-81.

CUI Hong-bin, SONG Guo-xin~*. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, (1): 78-81.

Citation:

CUI Hong-bin, SONG Guo-xin~*. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, (1): 78-81.

An Operational Semantics of Verilog

摘要: 提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象，该子集包括了Verilog最重要的语言特征，如事件控制，时延，并发性等；定义了程序状态空间及其上的状态迁移系统。

Abstract: 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.

/