高级检索

    董鑫, 宋国新. 一种Verilog的操作语义[J]. 华东理工大学学报(自然科学版), 2005, (4): 487-490.
    引用本文: 董鑫, 宋国新. 一种Verilog的操作语义[J]. 华东理工大学学报(自然科学版), 2005, (4): 487-490.
    An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2005, (4): 487-490.
    Citation: An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2005, (4): 487-490.

    一种Verilog的操作语义

    An Operational Semantics of Verilog

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

       

      Abstract: Verilog is a kind of hardware description language used abroad in industrial fields, but the study on its formal semantics is not enough. This paper describes syntax and semantics of Verilog HDL with formal methods, and establishes an operational semantics of Verilog. We describe the states of nonintercurrent and intercurrent components by two-dimensional and four-dimensional arrays, depict state transition rules of different sentences, and portray the implementation of intercurrent programs with an example.

       

    /

    返回文章
    返回