UNIX, Linux, Bash, Tcl, Physical Verification, Detailed routing, Cadence, Placement, EDA Tools, Siemens, Clock Tree Synthesis, Synopsys, formal verification, Timing Analysis