利用进程代数LOTOS描述其基于EBES模型的指称语义
） 摘要： 本文利用形式化的方法对SystemVerilog的指称语义进行研究
） Abstract： In this paper, denotational semantics of SystemVerilog is studied in formal ways, and EBES (extended bundle event structure) is adopted as the model in order to describe the true concurrency of SystemVerilog better
The paper provides a true concurrency subset from SystemVerilog, and then presents denotational semantics of the subset based on the EBES, which is described in the process algebra format
Our aim is providing a precise and unambiguous semantics for SystemVerilog
Keywords： SystemVerilog ; Denotational semantics; Extended bundle event structure; Process Algebra 下载PDF阅读器 PDF全文下载： 初稿 （ 124 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 贺彦琨
基于事件结构的SystemVerilog指称语义[EB/OL]
北京：中国科技论文在线
指称语义
以便更好的描述SystemVerilog真并发的特点
以提供一个准确的、无二义性的SystemVerilog文档
从中抽取出一个尽可能多的包含其语法的真并发子集
