4.4.2 Verilog HDL的行为级描述