Disclosed is a method for enhanced efficiency and effectiveness in achieving
timing closure of large, complex, high-performance digital integrated circuits.
Circuit macros are re-optimized and re-tuned in the timing closure loop by means
of a reformulated objective function that allows the optimizer to improve the slack
of all signals rather than just the most critical one(s). The incentive to improve
the timing of a sub-critical signal is a diminishing function of the criticality
of the signal. Thus all signals are improved during the optimization, with the
highest incentive to improve on the most critical signals, leading to faster and
more effective overall timing closure.