OASIS, Verilog, Python, Shell, Perl, Tcl, PERC, LVS, CDL, Dfm, SVRF-based automation, XOR methodologies, antenna density, ASIC physical verification, Spice, Cadence Pegasus, DEF, LEF, Siemens Calibre nmDRC, metal-fill, ERC, DRC, Synopsys ICV, GDSII