verilog仿真步骤