Shell, Python, Tcl, Design Compiler, Fusion Compiler, pegasus, Physical verification Calibre, ICC2, Tempus, Synthesis Genus, STA PrimeTime

Python, Tcl, primetime, Dft, PT-DMSA, timing congestion, ECO generation flow, IO Timing interface budgeting, ASIC timing constraints generation