Disclosed is a method for achieving timing closure in the design of a digital
integrated circuit or system by selecting portions of the circuit or system to
be optimized and portions of the circuit or system in which the effects of such
optimization are to be analyzed during the optimization process. Optimized portions
will include gates whose design parameters are to be changed, a first analyzed
portion includes gates whose delays and edge slews are to be recomputed, and a
second analyzed portion includes gates whose ATs and RATs are to be recomputed
during optimization. Constraints are imposed at selected boundaries between these
portions to prevent unwanted propagation of timing information and to ensure the
validity of timing values used during optimization. Through this selection, the
size of the problem posed to the underlying optimization method will be reduced,
allowing larger circuits or systems to be optimized and allowing optimization to
be performed more quickly.