%0 Journal Article
%T verilog操作语义研究
%A 李勇坚？
%A 何积丰？
%A 孙永强？
%J 软件学报
%P 2021-2030
%D 2002
%X 提出了一个结构化操作语义模型,用于描述verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等verilog的主要语言成分.在此操作语义模型中,所有的verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.
%K verilog
%K 事件调度
%K 操作语义
%K 观察模型
%K 互模拟
%K 同余性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20021016&flag=1