verilog variable型