论文部分内容阅读
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基础,其主要内容包括三方面:1.该文首次给出了一个比较完善的结构化操作语义模型来描述Verilog核心子集的语言特性.2.然后该文给出了Verilog的代数语义,这是一个等工公理体系,它将Verilog语义特征通过代数规则简洁准确地表达出来.3.最后该文研究了代数语义的相对完备性.