[verilog mode] Rewrite