verilog defaults