Fix some system verilog stuff
Change default push method