Verilog语言形式化语义研究

• 作者: 何积丰 孙永强 李勇坚
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 混合系统 Verilog 区间时态逻辑 离散事件调度 交叠式并发语义
• 年，卷（期）: 2001,（10）
• 页码范围: 1573-1580
• 页数: 8页
• 分类号: TP312
• 字数: 7395字
• 语种: 中文

摘要

在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	何积丰	澳门联合国大学国际软件研究所	4	16	3.0	4.0
3	李勇坚	上海交通大学计算机科学与工程系	2	9	2.0	2.0