文献类型：期刊文献

中文题名：一种Verilog的操作语义

英文题名：An Operational Semantics of Verilog

作者：董鑫[1];宋国新[1]

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

年份：2005

卷号：31

期号：4

起止页码：487

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

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

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

语种：中文

中文关键词：Verilog;形式化语义;操作语义;并发

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

摘要：用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。
Verilog is a kind of hardware description language used abroad in industrial fields, but the study on its formal semantics is not enough. This paper describes syntax and semantics of Verilog HDL with formal methods, and establishes an operational semantics of Verilog. We describe the states of nonintercurrent and intercurrent components by two-dimensional and four-dimensional arrays, depict state transition rules of different sentences, and portray the implementation of intercurrent programs with an example.