×

基于事件结构的SystemVerilog指称语义

消耗积分:3 | 格式:rar | 大小:223 | 2009-12-22

h1654155275.3301

分享资料个

本文利用形式化的方法对SystemVerilog的指称语义进行研究，采用EBES(extended
bundle event structure)作为抽象模型，以便更好的描述SystemVerilog真并发的特点。我
们的主要工作是：首先，通过对SystemVerilog语言的认真学习，从中抽取出一个尽可能多的包含其语法的真并发子集；其次，利用进程代数LOTOS描述其基于EBES模型的指称语义，以提供一个准确的、无二义性的SystemVerilog文档，避免硬件设计中的逻辑性错误。
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !