System and method for correlated process pessimism removal for static timing analysis

• US 7,117,466 B2
• Filed: 09/18/2003
• Issued: 10/03/2006
• Est. Priority Date: 09/18/2003
• Status: Expired due to Fees

• Current Assignee: GlobalFoundries, Inc.
• Original Assignee: International Business Machines Corporation
• Inventors: Kalafala, Kerim, Visweswariah, Chandramouli, Hathaway, David J., Suess, Alexander J., Qi, Peihua
• Primary Examiner(s): Do, Thuan
• Assistant Examiner(s): TAT, BINH C
• Application Number:
  US10/665,273
• Publication Number:
  US 20050066297A1
• Time in Patent Office: 1,111 Days
• Field of Search: 716/1, 716 4- 6, 716/8, 716/2, 716/18
• US Class Current: 716/108
• CPC Class Codes: G06F 30/3312 Timing analysis

Abstract

A method of removing pessimism in static timing analysis is described. Delays are expressed as a function of discrete parameter settings allowing for both local and global variation to be taken in to account. Based on a specified target slack, each failing timing test is examined to determine a consistent set of parameter settings which produces the worst possible slack. The analysis is performed on a path basis. By considering only parameters which are in common to a particular data/clock path-pair, the number of process combinations that need to be explored is reduced when compared to analyzing all combinations of the global parameter settings. Further, if parameters are separable and linear, worst-case variable assignments for a particular clock/data path pair can be computed in linear time by independently assigning each parameter value. In addition, if available, the incremental delay change with respect to each physically realizable process variable may be used to project the worst-case variable assignment on a per-path basis without the need for performing explicit corner enumeration.

Claims

1. A method for performing static timing analysis of a digital system in the presence of a plurality of global sources of delay variation comprising the steps of:

a) selecting, for at least one timing test, at least one pair of an early path and a late path leading to said timing test;

b) identifying at least one global parameter which the delays of said early and late paths depend on, and identifying parameters in which delay functions are separable;

c) determining for at least one of said global parameters at least one consistent value assignment, and setting independently each of said parameters in which delay function are separable from a value that results in a worst slack value at said timing test; and

d) computing for each said consistent assignment a slack value for said path pair.

2. The method as recited in claim 1 wherein one of said early and late paths is a clock path and the other of said early and late paths is a data path.

3. The method as recited in claim 1, wherein said at least one timing test comprises those timing tests within said digital system whose slack falls below a specified threshold after an initial static timing analysis.

4. The method as recited in claim 1, wherein said identified path pair comprises a late critical path to said timing test and an early critical path to said timing test.

5. The method as recited in claim 1, wherein said initial static timing analysis is performed using bounding parameter values.

6. The method as recited in claim 1, further comprising the step of determining for each of said timing tests the worst of said computed slacks.

7. The method as recited in claim 6, further comprising the step of determining whether the slack of any other early and late path pair to said timing test is worse than said determined worst slack, and if so, repeating said steps b), c), and d) for said other path pair.

8. The method as recited in claim 1, wherein said step c) further comprises the steps of:

e) enumerating combinations of realizable values of at least one of said identified parameters; and

f) performing a timing analysis for each of said enumerated combinations.

9. The method as recited in claim 8, wherein said step e) is terminated after one of the timing analyses of step f) produces a slack below a specified threshold.

10. The method as recited in claim 8, wherein at least one parameter whose realizable values are enumerated comprises a subset of the parameters identified in step b).

11. The method as recited in claim 10, wherein said step e) is repeatedly applied to additional ones of said identified parameters until said step f) results in a slack which is greater than a specified slack threshold.

12. The method as recited in claim 1, wherein said step of independently setting parameter values further comprises the steps of:

e) summing along the early and late paths of said path pair sensitivities of delay elements with respect to each of said parameters in which delay functions are separable;

f) computing the difference between said summed path sensitivities of said early and late paths, and

g) determining a value of each of said parameters in which delay functions are separable according to an arithmetic sign of said difference of sensitivities.

13. The method as recited in claim 1, wherein the timing analysis is performed at a gate-level.

14. The method as recited in claim 1, wherein the timing analysis is performed at a transistor-level.

15. The method as recited in claim 1, wherein the delay models are stored as pre-determined tables.

16. The method as recited in claim 1, wherein the delay models are stored as pre-determined analytic equations.

17. The method as recited in claim 1, wherein the delay models are computed on the fly.

18. The method as recited in claim 1, wherein the circuit comprises a plurality of clock domains.

19. The method as recited in claim 1, wherein the circuit is selected from the group consisting of at least one of the following clock configurations:

mesh network, tree network, hybrid network, gated clocks and pulsed clocks.

20. The method as recited in claim 1, wherein the sources of variability include a mistrack between one or more of the following device families that is selected from the group consisting of devices having different threshold voltages, devices having different gate oxide thicknesses and devices having different characteristics for PFET and NFET devices.

21. The method as recited in claim 1, wherein the sequential elements are selected from the group consisting of at least one of:

master-slave latches, flip-flops, edge-triggered latches, level-sensitive latches and transparent latches.

22. The method as recited in claim 1, wherein the timing analysis is conducted for timing verification at one or more levels selected from the group consisting of a circuit level, macro level, functional-unit level, chip level, board level and system level.

23. The method as recited in claim 1, wherein the circuit being analyzed is selected from the group consisting of at least one of the following technologies:

CMOS, domino, static logic and dynamic logic.

24. The method as recited in claim 1, wherein the global sources of variation include one or more of manufacturing variations, device fatigue variations, environmental variations, modeling variations, and circuit operation variations.

25. A system for performing static timing analysis of a digital system in the presence of a plurality of global sources of delay variation comprising:

a) means for selecting, for at least one timing test, at least one pair of an early path and a late path leading to said timing test;

b) means for identifying at least one global parameter which the delays of said early and late paths depend on, and mean for identifying parameters in which delay functions are separable;

c) means for determining for at least one of said global parameters at least one consistent value assignment and means for setting dependently each of said parameters in which delay functions are separable to value that results in a worst slack value at said timing test; and

d) means for computing for each said consistent assignment a slack value for said path pair.

26. The system as recited in claim 25, wherein element c) further comprises:

e) means for enumerating combinations of realizable values of at least one of said identified parameters; and

f) means for performing a timing analysis for each of said enumerated combinations.

27. The system as recited as recited in claim 26, wherein said means of independently setting parameter values further comprises:

e) means for summing along the early and late paths of said path pair sensitivities of delay elements with respect to each of said parameters in which delay functions are separable;

f) means for computing the difference between said summed path sensitivities of said early and late paths, and

g) means for determining a value of each of said parameters in which delay functions are separable according to an arithmetic sign of said difference of sensitivities.

28. A program storage device readable by a machine, tangibly, embodying a program of instructions executable by the machine to perform method steps for performing static timing analysis of a digital system in the presence of a plurality of global sources of delay variation, said method steps comprising:

a) selecting, for at least one timing test, at least one pair of an early path and a late path leading to said timing test;

b) identifying at least one global parameter which the delays of said early and late paths depend on, and identifying parameters which delay functions are separable;

c) determining for at least one of said global parameters at least one consistent value assignment, and setting independently each of said parameters in which delay functions are separable to a value that results in a worst slack value at timing test

d) computing for each said consistent assignment a slack value for said path pair.