Disclosed is a method for enhanced efficiency and effectiveness in
achieving 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.