[verilog] add