Verilog的一个操作语义模型

• 作者: 宋国新 崔宏斌
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 形式语义学 Verilog 操作语义 并发 模型
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 78-81
• 页数: 4页
• 分类号: TP31
• 字数: 4263字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2004.01.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋国新	华东理工大学计算机科学与工程系	62	256	9.0	12.0
2	崔宏斌	华东理工大学计算机科学与工程系	1	1	1.0	1.0