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