文献检索-宁波市创意产业特色资源库

限定检索结果

基于事件结构的SystemVerilog指称语义: 收藏
分享
引用; 《微计算机信息》2009年第9期25卷 171-172,165页; 作者：贺彦琨兰州大学信息科学与工程学院; 本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取...; 本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取出一个尽可能多的包含其语法的真并发子集;其次,利用进程代数LOTOS描述其基于EBES模型的指称语义,以提供一个准确的、无二义性的System Verilog文档,避免硬件设计中的逻辑性错误。; 来源：详细信息评论

限定检索结果