Modeling of cell delay change for electronic design automation

• US 8,359,558 B2
• Filed: 03/16/2010
• Issued: 01/22/2013
• Est. Priority Date: 03/16/2010
• Status: Active Grant

• Current Assignee: Synopsys Incorporated
• Original Assignee: Synopsys Incorporated
• Inventors: Tang, Qian-Ying, Chen, Qiang, Tirumala, Sridhar
• Primary Examiner(s): Rossoshek, Helen
• Application Number:
  US12/724,955
• Publication Number:
  US 20110231811A1
• Time in Patent Office: 1,043 Days
• Field of Search: 716/100, 716/108, 716/113, 716/122, 716/132, 716/133, 716/134, 716/136, 716/139, 716/106
• US Class Current: 716/106
• CPC Class Codes: G06F 2119/12 Timing analysis or timing optimisation
• CPC Class Codes: G06F 30/20 Design optimisation, verification or simulation optimisation, verification or simulation of circuit designs G06F30/30
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking
• CPC Class Codes: G06F 30/3308 using simulation
• CPC Class Codes: G06F 30/367 Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods

Abstract

An integrated circuit design optimization procedure to modify a cell feature, such as gate length, models changes in delay as a result of the modification. In the delay change calculation, a characteristic of an event in cell switching behavior, such as the output short-circuit voltage V_SC, is determined for the modified cell, where changes in the determined characteristic correlate with changes in delay of the cell due to the modification. Next, a value for delay of the modified cell is determined as a function of the determined characteristic of the event. The procedure can be applied after placement and routing. A timing-constrained, leakage power reduction is described using the delay change model.

Claims

1. A design optimization method for a target circuit design including cells specified by a machine-readable file, comprising:

executing, using a computer system, for a cell having an initial form, a cell modification procedure to modify a characteristic of the cell to produce a modified cell;

determining a characteristic of an event in cell switching behavior of the modified cell, where changes in the characteristic of the event correlate with changes in delay of the cell due to the modification procedure, wherein the event is a transition in a cell switching behavior from a first region in which one behavior dominates the cell switching to a second region in which another behavior dominates cell switching, wherein the first region is a short circuit behavioral region including competing pull-up and pull-down currents, and the second region is a current flow region dominated by one of pull-up and pull-down currents affecting an output of the cell, wherein the characteristic of the event is a value of voltage V_SC, where V_SC is equal to an output voltage for the modified cell, and the event is a point at which an input voltage V_in crosses outside a short circuit behavioral range, in which range of the input voltage V_in is between thresholds for the first and second regions according to a computer-implemented model of cell switching behavior; and

determining a value for delay of the modified cell as a function of the determined characteristic of the event.

2. The method of claim 1, wherein the cell is an inverter, and the event is a point at which an input voltage V_in crosses from inside to outside a range between a threshold V_tp for a pull-up transistor and a threshold V_tn for a pull-down transistor, according to a computer-implemented model of cell switching behavior.

3. The method of claim 2, wherein V_SC is equal to the output voltage for the cell in the modified form at the event.

4. The method of claim 1, the circuit modification procedure including identifying circuit paths in the target circuit design having available timing slack, and applying the cell modification procedure to cells in the identified circuit paths subject to constraint according to the available timing slack.

5. The method of claim 1, wherein the circuit modification procedure includes applying cell gate length adjustments constrained by delay.

6. The method of claim 1, including providing a cell library, the cell library including an entry for the cell having parameters of a delay model for the cell in an initial form, parameters of a model to estimate the characteristic of the event as a function of modifications of the initial form, and parameters of a delay change model to estimate delay change relative to delay of the initial form as a function of the characteristic;

and

wherein the machine readable file comprises data specifying the target circuit design after placement and routing using the cell library.

7. The method of claim 1, wherein the machine readable file comprises a layout file specifying the target circuit design including a plurality of cells, the layout file specifying shapes of components of the cells, placements of the plurality of cells, and interconnections among the cells, and includes a set of circuit paths.

8. A design optimization method for reducing leakage power for a target circuit design specified by a machine-readable file, comprising:

executing, using a computer, a process for timing constrained, leakage power reduction for the target circuit achievable by applying gate length adjustments to cells in the layout;

selecting a cell in the layout for modification;

applying a gate length adjustment to at least one transistor in the selected cell to produce a modified cell;

determining a characteristic of an event in cell switching behavior in the modified cell, where changes in the characteristic of the event correlate with changes in delay of the selected cell due to the gate length adjustment, wherein the event is a transition in a cell switching behavior from a first region in which one behavior dominates cell switching to a second region in which another behavior dominates cell switching, wherein the first region is a short circuit behavioral region including competing pull-up and pull-down currents, and the second region is a current flow region dominated by one of pull-up and pull-down currents affecting an output of the modified cell, wherein the characteristic of the event is a value of voltage V_SC, where V_SC is equal to an output voltage for the modified cell, and the event is a point at which an input voltage V_in crosses outside a short circuit behavioral range, in which range the input voltage V_in is between thresholds for the first and second regions according to a computer-implemented model of cell switching behavior; and

determining a value for delay of the modified cell after the gate length adjustment as a function of the characteristic of the event.

9. The method of claim 8, wherein the selected cell is an inverter, and the event is a point at which an input voltage V_in crosses from inside to outside a range between a threshold V_tp for a pull-up transistor and a threshold V_tn for a pull-down transistor, according to a computer-implemented model of cell switching behavior.

10. The method of claim 9, wherein V_SC is equal to an output voltage for the selected cell after the gate length adjustment at the event.

11. The method of claim 8 wherein selecting a cell includes identifying a circuit path in the target circuit design having available timing slack, and selecting a cell in the identified circuit path;

and

wherein the machine readable file comprises data specifying the target circuit design after placement and routing.

12. The method of claim 8 wherein the machine readable file comprises a layout file specifying the target circuit design including a plurality of cells, the layout file specifying shapes of components of the cells, placements of the plurality of cells, and interconnections among the cells, and includes a set of circuit paths.

13. A data processing system for performing a design optimization method for a target circuit design, comprising:

a processor and memory storing a layout file specifying a target circuit design, and a computer-implemented cell library, and instructions executable by the processor;

the instructions including logic to;

execute for a cell having an initial form a cell modification procedure to modify a characteristic of the cell to produce a modified cell;

determine a characteristic of an event in cell switching behavior of the modified cell, where changes in the characteristic of the event correlate with changes in delay of the cell due to the modification procedure, wherein the event is a transition in a cell switching behavior from a first region in which one behavior dominates the cell switching to a second region in which another behavior dominates cell switching, wherein the first region is a short circuit behavioral region including competing pull-up and pull-down currents, and the second region is a current flow region dominated by one of pull-up and pull-down currents affecting an output of the modified cell, wherein the characteristic of the event is a value of voltage V_SC, where V_SC is equal to an output voltage for the modified cell, and the event is a point at which an input voltage V_in crosses outside a short circuit behavioral range, in which range the input voltage V_in is between thresholds for the first and second regions according to a computer-implemented model of cell switching behavior; and

determine a value for delay of the modified cell as a function of the determined characteristic of the event.

14. The system of claim 13, wherein the modified cell is an inverter, and the event is a point at which an input voltage V_in crosses from inside to outside a range between a threshold V_tp for a pull-up transistor and a threshold V_tn for a pull-down transistor, according to a computer-implemented model of cell switching behavior.

15. The system of claim 14, wherein V_SC is equal to an output voltage for the modified cell at the event.

16. The system of claim 13, the circuit modification procedure including identifying circuit paths in the target circuit design having available timing slack, and applying the cell modification procedure to cells in the identified circuit paths subject to constraint according to the available timing slack.

17. The system of claim 13, wherein the circuit modification procedure includes applying cell gate length adjustments.

18. The system of claim 13, wherein memory in the data processing system stores a cell library, and the cell library includes an entry for the cell having parameters of a delay model for the cell in an initial form, parameters of a model to estimate the characteristic of the event as a function of modifications of the initial form, and parameters of a delay change model to estimate delay change relative to delay of the initial form as a function of the characteristic;

and

wherein the machine readable file comprises data specifying the target circuit design after placement and routing using the cell library.

19. The system of claim 13, wherein the machine readable file comprises a layout file specifying the target circuit design including a plurality of cells, the layout file specifying shapes of components of the cells, placements of the plurality of cells, and interconnections among the cells, and includes a set of circuit paths.

20. An article of manufacturing comprising:

a non-transitory machine readable data storage medium storing instructions executable by a data processor;

the instructions including logic to;

execute for a cell having an initial form a cell modification procedure to modify a characteristic of the cell constrained by delay to produce a modified cell;

determine a characteristic of an event in cell switching behavior of the modified cell, where changes in the characteristic of the event correlate with changes in delay of the cell due to the modification procedure, wherein the event is a transition in a cell switching behavior from a first region in which one behavior dominates the cell switching to a second region in which another behavior dominates cell switching, wherein the first region is a short circuit behavioral region including competing pull-up and pull-down currents, and the second region is a current flow region dominated by one of pull-up and pull-down currents affecting an output of the cell, wherein the characteristic of the event is a value of voltage V_SC, where V_SC is equal to an output voltage for the modified cell, and the event is a point at which an input voltage V_in crosses outside a short circuit behavioral range, in which range of the input voltage V_in is between thresholds for the first and second regions according to a computer-implemented model of cell switching behavior; and

determine a value for delay of the modified cell as a function of the determined characteristic of the event.

21. The article of claim 20, wherein the cell is an inverter, and the event is a point at which an input voltage V_in crosses from inside to outside a range between a threshold V_tp for a pull-up transistor and a threshold V_tn for a pull-down transistor, according to a computer-implemented model of cell switching behavior.

22. The article of claim 21, wherein V_SC is equal to an output voltage for the cell in the modified form at the event.

23. The article of claim 20, the circuit modification procedure including identifying circuit paths in the target circuit design having available timing slack, and applying the cell modification procedure to cells in the identified circuit paths subject to constraint according to the available timing slack.

24. The article of claim 20, wherein the circuit modification procedure includes applying cell gate length adjustments constrained by delay.

25. The article of claim 20 including a cell library stored on the data storage medium, the cell library including an entry for the cell having parameters of a delay model for the cell in an initial form, parameters of a model to estimate the characteristic of the event as a function of modifications of the initial form, and parameters of a delay change model to estimate delay change relative to delay of the initial form as a function of the characteristic;

and wherein the initial form of the cell is represented by data specifying a target circuit design after placement and routing using the cell library.

26. The article of claim 20, wherein the initial form of the cell is represented by machine readable file that comprises a layout file specifying the target circuit design including a plurality of cells, the layout file specifying shapes of components of the cells, placements of the plurality of cells, and interconnections among the cells, and includes a set of circuit paths.