reset naming fix in verilog backend