switch to param loading, fix a verilog bug