redhawk , Ecos, Perl, Tcl, Dc, Pt, Quantus, Cadence, Tempus, Mentor EDA tools, Physical Verification, Voltus, Innovus, Star-RCXT, Genus, STA closure, P R flows, Synopsys, P R extraction, 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