UNIX, Linux, Scripting Languages, Cadence, Timing Analysis, detailed routing, Physical Verification, formal verification, RTL synthesis, EDA Tools, Placement, Siemens, Synopsys, Clock Tree Synthesis