Verilog操作语义研究

• 作者: 何积丰 孙永强 李勇坚
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Verilog 事件调度 操作语义 观察模型 互模拟 同余性
• 年，卷（期）: 2002,（10）
• 页码范围: 2021-2030
• 页数: 10页
• 分类号: TP301
• 字数: 10214字
• 语种: 中文

摘要

提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.

作者信息

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