An Operational Semantics of Verilog

CUI Hong-bin, SONG Guo-xin~*. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, (1): 78-81.

Citation:

CUI Hong-bin, SONG Guo-xin~*. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, (1): 78-81.

Citation:

CUI Hong-bin, SONG Guo-xin~*. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, (1): 78-81.

Abstract

This paper presents an operational semantics of Verilog. We choose a subset of Verilog for our research, which hold the key features of Verilog, including event control, time delay, and concurrency. We define a set of notes to present the configurations and a set of transition rules over configurations.

FullText(HTML)

Export File