Good knowledge in one of the domains -Synthesis with Synopsys / Cadence Tools.Formal Equivalence Checks.STA , Constraints Development.Scripting skills , TCL, Python would be added advantage.Working knowledge of all three domains. (Synthesis, Formal Equivalence, STA).