verilog specify