magic verilog systemverilog icarus-verilog gtkwave vlsi klayout cmos netgen ngspice icarus verilator openroad skywater efabless openlane xschem tinytapeout surelog synlig