more conversion to verilog