Tcl, Python, Perl, Innovus, Physical Formal Verification, Cross-Functional Collaboration, LEC, primetime, EDA Tools, Fusion Compiler, Calibre, Red Hawk, Tempus, Timing Closure STA, RTL-to-GDSII Execution, Programming Scripting, VCLP, PPA Optimization

Static Timing Analysis, Architectural Circuit Co-Optimization, primetime, Physical Design, Tempus, Circuit-Level Timing Noise Integrity, Synopsys Fusion Compiler, Cadence Innovus, Clock Distribution Circuit Design, Interconnect Physical Design

Tcl, Python, PERL, LVS, Synthesis, EM Signoff, Formal Equivalence, DRC, Ir

Tcl, Python, Perl, StarRC, primetime, Synopsys ICC2, Signal Integrity, Cadence Innovus, Physical Verification, EM analysis, Timing Closure, low-power design techniques

Unix, Linux, Perl, Tcl, Low power verification, floorplanning, Placement, power analysis, PNR implementation