verilog用法