verilog的仿真问题