Abstract: A method of optimizing timing of signals within an integrated circuit design using proxy slack values propagates signals through the integrated circuit design to output timing signals. For early mode timing analysis, the method sets an early proxy slack value to zero if the late slack value is less than zero. Otherwise, if the late slack value is not less than zero, the method restricts the early proxy slack value to a maximum of the early slack value and the negative of the late slack value. To the contrary, for late mode timing analysis, the method sets a late proxy slack value to zero if the early slack value is less than zero. Otherwise, if the early proxy slack value is not less than zero, the method restricts the late proxy slack value to a maximum of the late slack value and the negative of the early slack value.

Abstract: A method of optimizing timing of signals within an integrated circuit design using proxy slack values propagates signals through the integrated circuit design to output timing signals. For early mode timing analysis, the method sets an early proxy slack value to zero if the late slack value is less than zero. Otherwise, if the late slack value is not less than zero, the method restricts the early proxy slack value to a maximum of the early slack value and the negative of the late slack value. To the contrary, for late mode timing analysis, the method sets a late proxy slack value to zero if the early slack value is less than zero. Otherwise, if the early proxy slack value is not less than zero, the method restricts the late proxy slack value to a maximum of the late slack value and the negative of the early slack value.

Abstract: The internal diameter measuring apparatus comprises a flexible supporting member capable of being inserted into a heat transfer tube in a nuclear steam generator with flexible centering devices disposed on the flexible supporting member at various locations along the flexible supporting member for centering the measuring apparatus within the heat transfer tube. The measuring apparatus also comprises contacting apparatus disposed on the flexible supporting member for contacting the inside surface of the heat transfer tube that is capable of deflecting in response to variations on the inside surface of the heat transfer tube. The contacting apparatus is connected to a transforming mechanism disposed in the flexible supporting member for monitoring the deflection of the contacting apparatus and for transforming the so monitored deflections into readings indicating the internal diameter of the heat transfer tube.