conformal lec , Tcl, Perl, Shell script, Physical Synthesis, Logic equivalence check, Conformal Low Power, UPF Low power concepts, functional ECO flow, primetime, Fusion Compiler, Tempus, Formality, DFT Insertion, VCLP tool, pre-STA timing analysis, Genus

shell scripting, Tcl, Verilog, static timing analysis, Perl, VHDL, Synthesis, Synopsys DC PT tools