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

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