一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义，建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态，刻画了不同语句的状态转换规则，并用实例描述了并发程序的执行过程，证明了该操作语义模型的正确性。