Verilog操作语义研究51685.pdfVIP

1000-9825/2002/13(10)2021-10 ©2002 Journal of Software 软 件 学 报 Vol.13, No.10 Verilog 操作语义研究· 1 2 1 李勇坚 , 何积丰 , 孙永强 1(上海交通大学 计算机科学与工程系,上海 200030); 2(澳门联合国大学 国际软件技术研究所,澳门) E-mail: lyj238@; hjf@; sun-yq@ 摘要: 提出了一个结构化操作语义模型, 用于描述Verilog 核心子集的语言特征,此子集包含了事件驱动、基于共 享变量的并发特性、时间延迟等Verilog 的主要语言成分.在此操作语义模型中,所有的Verilog 程序将被统一地 认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出 Verilog 开放进程的观察模型,并提出基于 互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的 Verilog 构造 子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础. 关 键 词: Verilog;事件调度;操作语义;观察模型;互模拟;同余性 中图法分类号: TP301 文献标识码: A Verilog