论文研究-基于事件结构的SystemVerilog指称语义 .pdf

时间:2022-09-05 10:36:04
【文件属性】:

文件名称:论文研究-基于事件结构的SystemVerilog指称语义 .pdf

文件大小:843KB

文件格式:PDF

更新时间:2022-09-05 10:36:04

SystemVerilog

基于事件结构的SystemVerilog指称语义,贺彦琨,,本文利用形式化的方法对SystemVerilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述SystemVerilog真并


网友评论