verilog验证 激励不一致