verilog仿真重定义变量