文件名称：论文研究-基于事件结构的SystemVerilog指称语义 .pdf
文件大小：843KB
文件格式：PDF
更新时间：2022-09-05 10:36:04
SystemVerilog
基于事件结构的SystemVerilog指称语义，贺彦琨，，本文利用形式化的方法对SystemVerilog的指称语义进行研究，采用EBES(extended bundle event structure)作为抽象模型，以便更好的描述SystemVerilog真并
论文研究-基于事件结构的SystemVerilog指称语义 .pdf
【文件属性】：