Synthesis & Timing

From RTL to gates, and making them fast enough. Logic synthesis with standard-cell libraries and constraints, then static timing analysis: setup, hold, slack, corners and timing closure.