一种Verilog的操作语义

• 作者: 宋国新 董鑫
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: Verilog 形式化语义 操作语义 并发
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 研究论文
• 页码范围: 487-490
• 页数: 4页
• 分类号: TP31
• 字数: 2975字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2005.04.018

摘要

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性.

作者信息

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