4.2 Verilog仿真