add verilog