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.