%0 Journal Article
%T Verilog的一个操作语义模型
%A 崔宏斌
%A 宋国新
%J 华东理工大学学报
%P 78-81
%D 2004
%X 提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象，该子集包括了Verilog最重要的语言特征，如事件控制，时延，并发性等；定义了程序状态空间及其上的状态迁移系统。
%K 形式语义学
%K Verilog
%K 操作语义
%K 并发性
%K 模型
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20040118&flag=1