redhawk , Perl, Tcl, Dc, Sta, Pt, Pv, Quantus, Mentor, Cadence, Tempus, Voltus, Innovus, Eco, Star-RCXT, EDA Tools, Genus, PrimeRail

Pvs, Tcl, Python, Perl, Awk, Calibre, ICV

Cadence PVS, IC Validator ICV, ASIC Physical Design flow, CMOS layout concepts, Physical Verification tools, GDSII OASIS formats, advanced technology nodes