The disclosure generally relates to statistical static timing analysis of electronic circuits and more specifically to analyzing delay variations and transition time variations in statistical static timing analysis of electronic circuits.
Conventional ways of performing timing analysis of circuits include simulation based approaches. As the complexity of integrated circuits (ICs) grows, using simulation based approaches to verify timing constraints become impractical in view of long runtimes, low capacities, and incomplete analysis.
Another technique for performing timing analysis of circuits is static timing analysis (STA). Unlike the simulation based approaches, STA verifies timing by computing worst-case delays without enumerating all possible paths. Thus, STA can perform a thorough timing analysis for large ICs within a reasonable amount of time. Therefore, STA is the method of choice for verifying timing constraints for large ICs.
Design and fabrication of ICs involve complex physical and chemical processes which cause on-chip variation (OCV) of timing-related parameters. Typically, STA techniques model this OCV using global derating parameters used to determine delays to reflect OCV. Applying global derating parameters to each delay value often ignores context or location regarding the delay.
As the density of integrated circuits (ICs) increases, the dimension of the transistors becomes smaller. Furthermore there is a trend towards decreasing the operating voltage of circuits. As transistors become smaller and operating voltage continues dropping, local random variation becomes increasingly important for the performance of ICs. Various models are being developed to analyze local random variations and determine delay variations and transition time variations. However, conventional techniques are deficient in determining the impact of local random variations on the overall circuit.
The disclosed embodiments have other advantages and features which will be more readily apparent from the detailed description, the appended claims, and the accompanying figures (or drawings). A brief introduction of the figures is below.
The Figures (FIGS.) and the following description relate to preferred embodiments by way of illustration only. It should be noted that from the following discussion, alternative embodiments of the structures and methods disclosed herein will be readily recognized as viable alternatives that may be employed without departing from the principles of what is claimed.
Reference will now be made in detail to several embodiments, examples of which are illustrated in the accompanying figures. It is noted that wherever practicable similar or like reference numbers may be used in the figures and may indicate similar or like functionality. The figures depict embodiments of the disclosed system (or method) for purposes of illustration only. One skilled in the art will readily recognize from the following description that alternative embodiments of the structures and methods illustrated herein may be employed without departing from the principles described herein.
Embodiments of a disclosed system, method and computer readable storage medium for performing static timing analysis are disclosed herein. In one embodiment, a static timing analyzer receives a digital representation of an electronic circuit. The circuit includes paths and each path of the circuit includes one or more stages. For each stage of the path, the static timing analyzer receives, or otherwise accesses, from a library, measures of intrinsic delay, intrinsic delay variation, transition time, and transition time variation. For a first stage of the path, the static timing analyzer determines a stage delay variation at an output of the first stage based on the intrinsic delay and the transition time of the first stage. For each stage following the first stage in the path, where inputs of the stage are coupled to outputs of a previous stage, the static timing analyzer determines a covariance delay term and stage delay variation. The static timing analyzer determines the covariance delay term based on the stage and a previous stage and determines the stage delay variation based on the received intrinsic delay variation of the stage and the covariance delay term.
An OCV analysis scales the path delays by a fixed percentage called global derate factor value. For example, the path delays may be increased by 20 percent by scaling the path delays by a global derate factor value 1.2 or path delays may be decreased by 20 percent by scaling the path delay values by a global derate factor value 0.8. The global derate factor value may vary based on a stage count. The stage counts represent a number of stages of paths of the circuit. In an embodiment, the static timing analyzer receives a mapping from stage counts to global derate factor values. The mapping may be represented as a table that stores tuples (n, v) where n is the stage count and v is the global derate factor value for stage count n. Accordingly, global derate factor values represent a measure of stage delay variation for paths having a given number of stages, where the measure of stage delay variation is specified on a per stage basis. For example, the mapping may specify a global derate factor value v1 for stage count 1, v2 for stage count 2, v3 for stage count 3, vn for stage count n, and so on. Accordingly, the mapping indicates that for paths having n stages, the stage delay variation per stage is vn. Typically, the global derate factor values decrease as the stage count increases. The static timing analyzer determines a plurality of parameters including an intrinsic delay standard deviation and a correlation coefficient based on the mapping from the stage counts to the global derate factor values. The static timing analyzer determines a stage delay variation for stages in a path based on the determined plurality of parameters.
In another embodiment, the static timing analyzer receives information describing distribution of delay values for a circuit including a mean value and parameters describing an asymmetric distribution. These parameters include a first standard deviation of delay values that are less than the mean value and a second standard deviation of delay values that are higher than the mean value. The system generates parameters describing delay values having a normal distribution from the parameters describing delay values having the received asymmetric distribution of delay value parameters. The system performs statistical static timing analysis of the circuit propagates the delay values based on normal distribution in accordance with a parametric on-chip variation (POCV) methodology.
In another embodiment, the static timing analyzer receives or otherwise accesses from a library, for each wire joining the stages of the path, measures of nominal transition time at an output of each wire, a nominal transition time at an input of each wire, and a transition time variation at the input of each wire. For each wire joining the stages of the path, the static timing analyzer determines a transition time variation at the output of the wire based on the received parameters.
In another embodiment, the static timing analyzer further receives, or otherwise accesses, parameters comprising measures of an estimate of a delay through an RC network and a nominal delay at the output of each wire. For example, the estimate of delay through the RC network is an Elmore delay. For each wire joining the stages of the path, the static timing analyzer determines a delay variation at the output of wire based on the received parameters.
The EDA software 112 may be implemented in one or more computing devices such as the computer 1000 of
During system design 114, designers describe the functionality to implement. They can also perform what-if planning to refine the functionality and to check costs. Note that hardware-software architecture partitioning can occur at this stage. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Model Architect®, Saber®, System Studio®, and Designware® products.
During logic design and functional verification 116, VHDL or Verilog code for modules in the circuit is written and the design is checked for functional accuracy. More specifically, the design is checked to ensure that it produces the correct outputs. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: VCS®, Vera®, 10 Designware®, Magellan®, Formality®, ESP® and Leda® products.
During analog design, layout, and simulation 117, analog circuits are designed, layed out, and simulated to ensure both functionality and performance. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Custom Designer®, Hspice®, HspiceRF®, XA®, Nanosim®, HSim®, and Finesim® products.
During synthesis and design for test 118, VHDL/Verilog is translated to a netlist. This netlist can be optimized for the target technology. Additionally, tests can be designed and implemented to check the finished chips. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Design Compiler®, Physical Compiler®, Test Compiler®, Power Compiler®, FPGA Compiler®, Tetramax®, and Designware® products.
During netlist verification 120, the netlist is checked for compliance with timing constraints and for correspondence with the VHDL/Verilog source code. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Formality®, PrimeTime®, and VCS® products.
During design planning 122, an overall floor plan for the chip is constructed and analyzed for timing and top-level routing. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Astro® and IC Compiler® products.
During physical implementation 124, the placement (positioning of circuit elements) and routing (connection of the same) occurs. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: the Astro® and IC Compiler® products.
During analysis and extraction 126, the circuit function is verified at a transistor level, which permits refinement. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Astrorail®, Primerail®, PrimeTime®, and Star RC/XT® products.
During physical verification 128, the design is checked to ensure correctness for: manufacturing, electrical issues, lithographic issues, and circuitry. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include the Hercules® product.
During resolution enhancement 130, geometric manipulations of the layout are performed to improve manufacturability of the design. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include: Proteus®, Proteus® AF, and PSMGED® products.
During mask-data preparation 132, the ‘tape-out’ data for production of masks to produce finished chips is provided. Example EDA software products from Synopsys, Inc. of Mountain View, Calif. that can be used at this stage include the CATS® family of products.
Embodiments of the present disclosure can be used during one or more of the above-described stages. Specifically, embodiments may be used for the processes of analog design, layout, and simulation 117, analysis and extraction 126, and physical verification 128. Accordingly, a digital representation of an electronic circuit is analyzed based on the disclosed embodiments relating to
The static timing analyzer 210 determines a timing slack for the various timing paths of the circuit design. As used herein, timing slack is the difference between the target delay time of a path and the determined delay time of the path determined by the static timing analyzer 210. A positive value for the slack indicates that the circuit design does not have a timing violation, and a negative value for the slack indicates that the circuit design has a timing violation.
The static timing analyzer 210 includes a circuit store 220, a timing store 230, a derate store, a delay analyzer 240 and an output module 250. In other embodiments, the static timing analyzer 210 can include additional, fewer, or different modules for various applications. Conventional components such as network interfaces, security mechanisms, load balancers, failover servers, management and network operations consoles, and the like are not shown so as to not obscure the details of the system.
In some embodiments, the static timing analyzer 210 receives a circuit description 202 and timing data 204 and performs static timing analysis of a circuit to generate results of timing analysis 260. The circuit description 202 is a digital representation of the circuit. In other embodiments, the static timing analyzer 210 receives a circuit description 202 and derate factors 208 and performs static timing analysis of a circuit to generate results of timing analysis 260. An example of results 260 is stage delay variation.
To increase efficiency of the static timing analysis, the circuit store 220 stores the circuit description 202 of a circuit being analyzed. The circuit description 202 includes a netlist, various constraints, etc. In one embodiment, the circuit store 220 represents the circuit using a graph representation in which nodes of the graph correspond to various stages (i.e., components) of the circuit and edges of the graph correspond to the connections between the various stages. The circuit includes one or more paths where each path includes one or more stages.
Various modelling formats for modelling integrated circuit (IC) implementation and signoff, such as advanced on-chip variation (AOCV) and parametric on-chip variation (POCV), have been consolidated into a single, unified open-source standard for industry-wide use, known as the Liberty Variation Format (LVF) extensions. The system analyzes a circuit in accordance with POCV methodology for statistical static timing analysis of circuits is described in the U.S. Pat. No. 8,407,640, filed on Aug. 23, 2011 and issued on Mar. 26, 2013, and U.S. Pat. No. 8,555,222, filed on Mar. 4, 2013 and issued on Oct. 8, 2013, each of which is incorporated by reference herein in its entirety.
The LVF extensions include timing data for intrinsic delay, intrinsic delay variation, transition time, and transition time variation for each stage of each path of the circuit. The intrinsic delay represents the processing delay of the stage. The processing delay of the stage can be due to intrinsic delay of the components of the stage. The intrinsic delay variation represents a timing impact of local random variation of the intrinsic delay. In other words, the intrinsic delay variation represents a square of the standard deviation of the intrinsic delay. The intrinsic delay variation can depend on process, voltage, temperature, crosstalk, etc. The transition time represents a slope of a signal waveform shape. More specifically, the transition time represents the time taken by a signal to change from a first value to a second value. For example, the transition time may represent the time taken by a signal to rise from a low signal value to a high signal value. Alternatively, the transition time may represent the time taken by a signal to fall from a high signal value to a low signal value. A small value of transition time indicates that the signal is changing from the first signal value to second signal value fast, resulting in a high slope of the signal waveform. Similarly, a large value of transition time indicates that the signal is changing from the first signal value to the second signal value slowly, resulting in a small slope of the signal waveform. The transition time variation represents a timing impact of local random variation of the transition time. Accordingly, the transition time variation represents a square of the standard deviation of the transition time.
The LVF extensions can further be used to compute timing data for approximating the delay through an RC network, for example, an Elmore delay, a nominal delay of a wire at an output of the wire, a nominal transition time at the output of the wire, a nominal transition time at an input of the wire, and a transition time variation at the input of the wire.
The timing data 204 represents the timing data of the LVF extensions. To increase the efficiency of the static timing analysis, the timing store 230 stores timing data including timing data 204. Specifically, the timing store 230 stores timing data for each stage of a path of the circuit. The timing store 230 further stores timing data output from the delay analyzer module 240 including induced delay variation, covariance delay and stage delay variation for each stage of each path of the circuit.
The derate factors 208 account for on-chip variations (OCVs). The derate factors 208 include global derate factors to be used for a circuit. To increase the efficiency of the static timing analysis, the derate store 232 stores the derate factors 208. The derate factors 208 can be received from the advanced on-chip variation (AOCV) data. Furthermore, the derate factors 208 can be represented as a derate table.
The delay analyzer module 240 determines the stage delay variation for each stage of each path of the circuit. In some embodiments, the delay analyzer module 240 determines the stage delay variation based on the intrinsic delay of the stage, the induced delay variation of the stage, and the covariance delay of the stage. In these embodiments, the delay analyzer module 240 determines the covariance delay of a current stage based on a current stage and a previous stage. In other embodiments, the delay analyzer module 240 determines stage delay variation based on an intrinsic delay standard deviation, a correlation coefficient, and a derating saturation value.
The output module 250 outputs the results of various computations, for example, stage delay variation from the delay analyzer module 240 to results of timing analysis 260. In some embodiments, the output module 250 further outputs the timing data in the timing store 230. In other embodiments, the output module 250 outputs the derate factors from the derate store 232.
Referring now to
The timing store processor 320 processes timing data stored in the timing store 230 for each stage of the one or more stages of each path of the one or more paths of the circuit. The timing store 320 stores timing data representing intrinsic delay, intrinsic delay variation, transition time, and transition time variation for each stage of each path of the circuit.
The derate factors analyzer 340 receives the derate factors stored in the derate store 230 and determines stage delay variation each stage based on the intrinsic delay standard deviation, the correlation coefficient, and the derating saturation value. The delay analyzer module 240 determines stage delay variation of each stage based on the circuit description 202 stored in the circuit store 220 and the timing data 204 stored in the timing store 230.
The delay distribution analyzer 350 receives parameters describing delay values that represent an asymmetric delay distribution and generates parameters representing a normal distribution of the delay values. The static timing analyzer 210 uses the generated parameters to propagate the delay distribution values through stages of paths of the circuit for performing POCV analysis of the circuit.
The wire delay and transition time variation analyzer 360 determines a delay variation at an output of a wire and a transition time variation at an output of a wire. The analyzer 360 determines the delay variation at the output of the wire based on an estimate of a delay through an RC network, for example, an Elmore delay, a nominal delay of the wire at the output of the wire, a nominal transition time at the output of the wire, a nominal transition time at an input of the wire, and a transition time variation at the input of the wire. The analyzer 360 determines the transition time variation at the output of the wire based on the nominal transition time at the output of the wire, the nominal transition time at the input of the wire, and the transition time variation at the input of the wire.
To ensure timing requirements are met, a conservative estimate of stage delay variation is often used for performing timing analysis of circuits. Applying conservative estimates for paths with numerous stages can result in an estimated performance poorer than the actual performance and inaccurate timing violations may be generated. Traditional approaches for correcting the inaccurate timing violations decrease product performance and increase engineering cost. The disclosed embodiments provide less conservative and more accurate stage delay variation data, which can be used to improve product performance
Stage delay variation comes from intrinsic stage process variation as well as input transition time variation. Input transition time variation is independent from intrinsic stage process variations of a current stage. However, input transition time variation is correlated from stage delay variations from a previous stage. Thus, there is a correlation between a delay of a current stage and a delay of a previous stage.
In some embodiments, the static timing analyzer 210 receives a circuit description 202 and timing data 204 as input and performs static timing analysis of a circuit to generate results 260. Examples of results 260 include stage delay variation based on the intrinsic delay variation of the stage, the induced delay variation of the stage, and the covariance delay of the stage.
The variance determination module 330 determines induced delay variation, covariance delay, and stage delay variation for each stage of a path. The variance determination module 330 includes an induced delay variation module 332 and a covariance module 334. The induced delay variation module 332 and the covariance module 334 determine an induced delay variation and a covariance delay, respectively, based on timing data for a current stage and a previous stage.
The induced delay variation module 332 determines an induced delay variation based at least in part on the intrinsic delay of the current stage, the transition time of the previous stage, and the transition time variation of the previous stage. In an embodiment, the induced delay variation is based on a change in the intrinsic delay of the current stage divided by a change in the transition time of the previous stage, the quotient squared and multiplied by the transition time variation of the previous stage.
The covariance module 334 determines a covariance delay based at least in part on the intrinsic delay variation of the previous stage, the intrinsic delay of the current stage, the transition time of the previous stage, and the transition time variation of the previous stage. The covariance module 334 determines covariance terms that provide a measure of strength of correlation between two or more sets of variable. The covariance delay term is a measure of how much the intrinsic delay of the current stage and transition time of the previous stage change together. For example, the covariance delay can be based on a change in the intrinsic delay of the current stage divided by a change in the transition time of the previous stage, the quotient multiplied by the delay variation of the previous stage and the transition time variation of the previous stage.
The variance determination module 330 determines stage delay variation for each stage of the path based at least in part on the intrinsic delay variation, the induced delay variation determined by the induced delay variation module 332 and the covariance delay determined by the covariance module 334.
Each of the first stage S1 and the second stage S2 have timing data associated with the stage. For example, the first stage S1 has intrinsic delay D1, intrinsic delay variation σD
As previously mentioned, the induced delay variation and the covariance delay are based on a current stage and a previous stage. When calculating the stage delay variation for the first stage S1, the first stage S1 is the current stage and there is no previous stage. Therefore, the induced delay variation and the covariance delay of the first stage S1 are both zero. Thus, the stage delay variation of the first stage S1 is simply the intrinsic delay variation of the first stage.
When calculating the stage delay variation for the second stage S2, the second stage S2 is the current stage and the first stage S1 is the previous stage. The induced delay variation of the second stage S2 is a function of a ratio of the intrinsic delay D2 of the second stage S2 and transition time T1 of the first stage S1. Equation 1 represents a general form of the induced delay variation, σinduced
Specifically, the induced delay variation of the second stage S2 is a function of a ratio of a change in the intrinsic delay D2 of the second stage S2 and a change in the transition time T1 of the first stage S1. Equation 2 represents the induced delay variation of the second stage S2 in this manner.
The induced delay variation of the second stage S2 can be expressed as a square of the ratio of the change in the intrinsic delay D2 of the second stage S2 and the change in the transition time T1 of the first stage S1, the square of the ratio scaled by a constant m. Equation 3 represents the induced delay variation of the second stage S2 in this manner.
The constant m represents the transition time variation of the first stage S1, σT
Similar to the induced delay variation of the second stage S2, the covariance delay of the second stage S2 is a function of a ratio of the intrinsic delay D2 of the second stage S2 and the transition time T1 of the first stage S1. Equation 5 represents a general form of the covariance delay, COV2, of the second stage S2.
Again, similar to the induced delay variation of the second stage S2, the covariance delay of the second stage S2 is a function of a ratio of a change in the intrinsic delay D2 of the second stage S2 and a change in the transition time T1 of the first stage S1. Equation 6 represents the covariance delay of the second stage S2 in this manner.
The covariance delay of the second stage S2 can be expressed as the ratio of the change in the intrinsic delay D2 of the second stage S2 and the change in the transition time T1 of the first stage S1, the ratio scaled by a constant n. Equation 7 represents the covariance delay of the second stage in this manner.
The constant, n, can be the delay variation σD
The stage delay variation of a current stage, k, is expressed as a function of timing data for the current stage, k, and a previous stage, k−1. Equation 9 represents the stage delay variation, σstage
σstage
The stage delay variation of the current stage, k, is the sum of the intrinsic delay variation, the induced delay variation and the covariance delay of the current stage, k, as a function of the previous stage, k−1, where applicable. Equation 10 represents the stage delay variation for the kth stage.
σstage
σD
Equation 11 represents the stage delay variation of the current stage, k, based on timing data for the current stage, k, and the previous stage, k−1.
Equation 11 can be modified to specifically relate to the example of
In some embodiments, the static timing analyzer 210 receives a circuit description 202 and derate factors 208 of a circuit as input and performs static timing analysis of a circuit to generate results 260. The circuit description 202 is a digital representation of the circuit. Examples of results 260 include stage delay variation based on the intrinsic delay standard deviation, the correlation coefficient, and the derating saturation value.
As mentioned previously, the derate factors 208 can be represented as a derate table. The derate table specifies a mapping from stage counts (i.e., number of stages of paths of the circuit) to the global derate factors. The global derate factors represent a measure of stage delay variation for paths having a given stage count, where the measure of stage delay variation is specified on a per stage basis. In one embodiment, the derate factors are irrespective of stage depth (e.g., number of stages from a beginning of a path) of a particular stage in the path. In other words, the same derate factor is applied to each stage of a path where the derate factor is a function of the number of stages in the path.
The derate factors analyzer 340 determines a plurality of parameters including the intrinsic delay standard deviation and the correlation coefficient. The intrinsic delay standard deviation represents a standard deviation of a processing delay of a stage and the correlation coefficient represents a correlation between a delay of a current stage and a delay of a previous stage. In one embodiment, the plurality of parameters further includes a derating saturation value for each stage in a path. The derating saturation value represents a measure of global derate factor values corresponding to large stage count values. Accordingly, the derating saturation value corresponds to a global derate factor value for stage count greater than a predetermined threshold value.
The derate factors analyzer 340 selects a plurality of values of stage counts and a corresponding plurality of values of global derate factors from the received mapping. The received mapping may be referred to as a first mapping.
In one embodiment, the derate factors analyzer 340 determines the plurality of parameters by fitting a curve to the selected plurality of values of the stage counts and the corresponding plurality of values of the global derate factors. In an embodiment, derate factors analyzer 340 determines a polynomial function representing the curve. The polynomial function maps stage counts to global derate factors. The polynomial may be a second degree polynomial, a third degree polynomial, or an nth degree polynomial where n is a value greater than or equal to 1. The curve represents a second mapping from stage counts to global derate factor values. For example, the derate factors analyzer 340 selects three values of stage count and corresponding global derating factors values from the received mapping and determines the plurality of parameters based on the selected values by fitting a curve.
In another embodiment, the derate factors analyzer 340 determines the plurality of parameters by solving a system of equations based on the selected plurality of values of stage counts and the corresponding plurality of values of the global derate factors. The system of equations represents a second mapping from stage counts to the global derate factor values. For example, regression and least square fitting can be used when solving the system of equations to minimize error of the determined parameters.
After computing the intrinsic delay standard deviation, the correlation coefficient, and the derating saturation value, the derate factors analyzer 340 calculates the stage delay variation for each stage in a path based on the intrinsic delay standard deviation and the correlation coefficient. In some embodiments, the derate factors analyzer 340 calculates only the intrinsic delay standard deviation and the correlation coefficient and calculates the stage delay variation for each stage in a path based on the intrinsic delay standard deviation and the correlation coefficient.
A derate factor d can be expressed as a function of the stage depth n, the intrinsic delay standard deviation σintrinsic and the correlation coefficient ρ. Equation 13 represents the derate factor d in this manner.
d=ƒ(n,σintrinsic,ρ) Equation 13
Specifically, the derate factor, d, can be expressed as a function of a product of the stage count n, the intrinsic delay standard deviation σintrinsic, and the correlation coefficient ρ. Equation 14 represents the derate factor, d, in this manner.
d=ƒ(n*σintrinsic*ρ) Equation 14
Furthermore, the derate factor, d, can be expressed as a function of the stage count n, the intrinsic delay standard deviation σintrinsic, the correlation coefficient ρ, the derating saturation value α and a constant m. Equation 15 represents the derate factor, d, according to one example.
In one example, the constant m is equal to 1.
As mentioned previously, the derate factors 208 represented as a derate table include a mapping from stage count (i.e., n) to global derate factors (i.e., derate factor d). In other words, the derate factor d is known for each stage count n. Equation 15 includes three unknowns: the intrinsic delay standard deviation σintrinsic, the correlation coefficient ρ, and the derating saturation value α.
In one example, choosing three values for stage count n corresponds to three values for derate factors d leading to three equations with the three unknowns. The system of equations can be solved to determine the three unknowns. In another example, the derate factors d for all the stage counts n can be used to determine the three unknowns. Using derate factors d for all the stage counts along with regression and least square fitting can minimize error of the three unknowns.
The stage delay variation of a current stage, k, is expressed as a function of timing data for the current stage, k, and a previous stage, k−1. Equation 16 represents the stage delay variation, σstage
σstage
The stage delay variation of the current stage, k, is the sum of the intrinsic delay variation, the induced delay variation and the covariance delay of the current stage, k, as a function of the previous stage, k−1, where applicable. Equation 17 represents the stage delay variation for the kth stage.
σstage
σintrinsic
Equation 17 can be simplified assuming the intrinsic delay variation σintrinsic
σstage
ρ is the derating saturation value and σk2 is a square of the intrinsic delay standard deviation σintrinsic of any stage in the path.
II. Generating Normal Distribution from Asymmetric Distribution of Stage Delays
At lower voltage, distributions of delay values of stages of electronic circuits show strong non-linearity and become asymmetric. Accordingly, the standard deviation for delay values that are greater than the mean delay value are different from the standard deviation for delay values that are lower than the mean delay value.
A stage library storing parameters used for analysis of an electronic circuit specifies a mean value for a delay distribution and parameters describing an asymmetric distribution of the delay values. These parameters include a first standard deviation value and a second standard deviation value. The first standard deviation is for delay values that are less than the mean value and the second standard deviation is for delay values that are higher than the mean value. The first standard deviation is referred to as an early sigma value and the second standard deviation value is referred to as a late sigma value. Propagating the asymmetric distribution using the POCV methodology causes the analysis based on early sigma values to become too pessimistic and the analysis based on late sigma values to become too optimistic. As a result, the POCV analysis is not accurate. The standard deviation of a distribution may also be referred to herein as a sigma value or sigma.
To alleviate the above issues with propagating asymmetric distribution of delays, the delay distribution analyzer 350 generates a normal distribution (or a Gaussian distribution) of delay values based on the asymmetric distribution of delay value parameters. The static timing analyzer 210 propagates the delay values based on the normal distribution in accordance with the POCV methodology.
The delay distribution analyzer 350 determines a nominal mean and nominal sigma values for the generated normal distribution of the delay values. The static timing analyzer 210 performs statistical static timing analysis of the circuit by propagating the nominal mean and nominal sigma values of the generated normal distribution through the stages of the circuit in accordance with the POCV methodology.
The delay distribution analyzer 350 determines 820 an adjusted mean and an adjusted sigma value for a normal distribution of delay values for the electronic circuit based on the parameters of the asymmetric distribution of delay values. The determined normal distribution is symmetric, i.e., the sigma values are same for delay values smaller than the mean value as well as for delay values larger than the mean value. In one embodiment, the delay distribution analyzer 350 determines parameters for an early normal distribution of delay values for an early mode analysis and parameters for a late normal distribution for a late mode analysis. Accordingly, two separate analyses are performed, an early mode analysis and a late mode analysis. However, the parameters used for both the analyses represent a normal or Gaussian distribution of delay values that is symmetric.
The static timing analyzer 210 propagates 830 the adjusted parameters, i.e., the adjusted mean value and the adjusted sigma value or values through cells of the electronic circuit to perform POCV analysis of the electronic circuit. In an embodiment, the static timing analyzer 210 propagates 830 the adjusted parameters by receiving parameters for input nodes of the circuit and following paths from the inputs to outputs of the circuit. For each stage in the path, the static timing analyzer 210 determines values of the adjusted parameters at the output of the stage based on the adjusted parameter values at the inputs of the stage and parameters of the stage. Accordingly, the static timing analyzer 210 determines the parameters of delay values (e.g., mean value and standard deviation values) at the outputs of the circuit based on the parameters of delay values at the inputs of the circuit and parameter of stages encountered in a path from the inputs to the outputs.
In one embodiment, the delay distribution analyzer 350 determines a mean shift value represented as A in equations described below. The mean shift value represents a parameter used for determining an amount by which the parameters of a distribution are shifted when they are adjusted for use in the POCV analysis of a circuit. The mean shift value Δ is determined based on the late sigma value and the early sigma values of the asymmetric distribution of delay values for the circuit. The delay distribution analyzer 350 determines the adjusted mean value and the adjusted sigma value of the normal distribution based on the mean shift value Δ. In one embodiment, delay distribution analyzer 350 determines the mean shift value Δ based on a difference between the late sigma value and the early sigma value. The delay distribution analyzer 350 determines the mean shift value Δ as a product of the difference between the late sigma value and the early sigma value and an alpha factor α, as shown in equation 19.
Δ=α×(ρlate−ρearly) Equation 19
The value of the alpha factor α depends on a model used for analyzing the circuit. The delay distribution analyzer 350 further determines adjusted sigma values for a normal distribution of the delay values based on the mean shift value Δ. In one embodiment, the delay distribution analyzer 350 further determines an adjusted early sigma value {tilde over (σ)}early for an early mode analysis and an adjusted late sigma value {tilde over (σ)}late for a late mode analysis. The early mode analysis uses an early normal distribution having the adjusted mean value of the distribution and the adjusted early sigma value {tilde over (σ)}early for performing the POCV analysis. The late mode analysis uses a late normal distribution having the adjusted mean value of the distribution and the adjusted late sigma value {tilde over (σ)}late for performing the POCV analysis
According to one embodiment, the delay distribution analyzer 350 determines the adjusted early sigma value {tilde over (σ)}early as a sum of the early sigma σearly and a weighted mean shift value Δ as illustrated by equation 20. As shown in equation 20, the mean shift value Δ is divided by a factor n before being added to the early sigma σearly for determining the adjusted early sigma value {tilde over (σ)}early. The factor n represents a user specified number of sigma values for use in the timing analysis.
{tilde over (σ)}early=σearly+Δ/n Equation 20
According to one embodiment, the delay distribution analyzer 350 determines the adjusted late sigma value {tilde over (σ)}late as a sum of the late sigma σlate and a weighted mean shift value Δ as illustrated by equation 21. As shown in equation 21, the mean shift value Δ is divided by the factor n before being subtracted from the late sigma σlate for determining the adjusted late sigma value {tilde over (σ)}late
{tilde over (σ)}late=σlate−Δ/n Equation 21
In one embodiment, the delay distribution analyzer 350 determines the adjusted mean value μnew by adding the mean shift value Δ of the asymmetric distribution received as input as illustrated by equation 22.
μnew=μold+Δ Equation 22
There are three methods or models for determining the value of α according to different embodiments. The first method models the delay variation as sum of multiple two-piece normal distributions as described by equation 23, where x is a unified normal distribution.
According to equation 23, the delay is modeled differently for values of x<0 and values of x≥0. Under this model, the value of A is obtained by calculating the mean value of the above delay function. Accordingly, the value of α is determined to be as shown in equation 24.
In one embodiment, the delay distribution analyzer 350 uses a value of α that is substantially equal to
i.e., within a small predetermined threshold value of
Based on the value of α as shown in equation 24, the delay distribution analyzer 350 determines the value of Δ as shown in equation 25.
The second method models the delay variation as a single split-normal distribution as shown in equation 26. In equation 26, the probability distribution function (PDF) is the probability density function and exp is the exponential function.
Under this model, the value of Δ is determined by calculating the mean value of the above delay distribution. According to the second model the value of α is determined to be as shown in equation 27.
In one embodiment, the delay distribution analyzer 350 uses a value of α that is substantially equal to
i.e., within a small predetermined threshold value of
Based on the above value of α, the delay distribution analyzer 350 determines the value of Δ as shown in equation 28.
The third model is based on a bounding method that ensures that the transformed distribution cumulative distribution function (CDF) completely bounds the CDF of computed delay distribution from negative n sigma to positive n sigma where n is the user specified number of sigma. According to the third model the value of α is shown in equation 29.
In one embodiment, the delay distribution analyzer 350 uses a value of α that is substantially equal to
i.e., within a small predetermined threshold value of
Based on the above value of α, the delay distribution analyzer 350 determines the value of Δ as shown in equation 30.
In this embodiment, the delay distribution analyzer 350 determines the value of adjusted mean μnew for the normal distribution using the equation 31.
In general the delay distribution analyzer 350 determines the nominal standard deviation σnew as a weighted aggregate of the late sigma (σlate) and early sigma (σearly) values. In equation 32, w1 and w2 are weights assigned to the terms σlate and σearly respectively.
σnew=w1×σlate+w2×σearly Equation 32
In one embodiment, both w1 and w2 have the same constant value. For example, the weights w1 and w2 have values substantially equal to the constant value
Accordingly, the nominal standard deviation σnew is determined using equation 33.
Wires, which connect different stages of a path, can cause wire propagation delays. Wire propagation delays can be accurately computed after a wire layout of the path is known. Embodiments determine wire propagation delay by modelling the wire as an RC network. Embodiments perform a method of propagating transition time variation from an input of an RC network to an output of the RC network. Embodiments determine the wire propagation delay based on a closed form expression for wire propagation delay of wires of a path.
Referring to
The wire delay and transition time variation analyzer 360 determines a delay variation at an output of a wire and a transition time variation at an output of a wire. The analyzer 360 can determine the delay variation at the output of the wire and the transition time variation at the output of the wire for each wire of a path (i.e., all each wire connecting a stage to another stage).
The wire delay and transition time variation analyzer 360 determines the delay variation at the output of the wire based on the timing data in the timing store 230 including the Elmore delay, the nominal delay of the wire at the output of the wire, the nominal transition time at the output of the wire, the nominal transition time at the input of the wire, and the transition time variation at the input of the wire. The delay variation of a wire (e.g., wire 404) at an output of the wire Δdo is modeled as a function of a difference of an estimate of a delay through an RC network, for example, an Elmore delay de and a nominal delay of the wire at the output of the wire do. Equation 34 represents the delay variation of the wire in this manner.
Δdo=ƒ(de−do) Equation 34
The Elmore delay de is an approximation of a delay through an RC network. The Elmore delay de is simple to compute and provides an upper bound for the wire propagation delay. However, the Elmore delay de alone is not very accurate for static timing analysis.
The delay variation of the wire at the output of the wire Δdo can be expressed as a product of the difference of the Elmore delay de and the nominal delay of the wire at the output of the wire do and a function of a nominal transition time at the output of the wire To, a nominal transition time at the input of the wire Ti, and a transition time variation at the input of the wire ΔTi. Equation 35 represents the delay variation at the output of the wire Δdo in this manner.
Δdo=(de−do)*ƒ(To,Ti,ΔTi) Equation 35
The function ƒ(To, Ti, ΔTi) includes a ratio of a first term and a second term, where the first term is a function of To and the second term is a function of To, Ti, and ΔTi. In one embodiment, the first term is To2 and the second term is To2+2TuΔTi+ΔTi2. Equation 36 represents the delay variation at the output of the wire Δdo as a function of de, do, To, Ti, and ΔTi represented according to one embodiment.
The wire delay and transition time variation analyzer 360 determines the transition time variation at the output of the wire based on the nominal transition time at the output of the wire, the nominal transition time at the input of the wire, and the transition time variation at the input of the wire.
A transition time variation at an output of a wire ΔTo is modeled as a function a difference of a first term and a second term, where the first term is a function of To, Ti, and ΔTi and the second term is a function of To. Equation 37 represents the transition time variation at the output of the wire ΔTo in this manner.
ΔTo=ƒ(ƒ(To,Ti,ΔTi)−ƒ(To)) Equation 37
In one embodiment, the first term is To2+2TiΔTi+ΔTi2 and the second term is To. Equation 38 represents the transition time variation at the output of the wire ΔTo as a function of To, Ti, and ΔTi, represented according to one embodiment.
ΔTo=√{square root over (To2+2TiΔTi+ΔTi2)}−To Equation 38
The machine may be a server computer, a client computer, a personal computer (PC), a tablet PC, a set-top box (STB), a personal digital assistant (PDA), a cellular telephone, a smartphone, a web appliance, a network router, switch or bridge, or any machine capable of executing instructions 1024 (sequential or otherwise) that specify actions to be taken by that machine. Further, while only a single machine is illustrated, the term “machine” shall also be taken to include any collection of machines that individually or jointly execute instructions 1024 to perform any one or more of the methodologies discussed herein.
The example computer system 1000 includes a processor 1002 (e.g., a central processing unit (CPU), a graphics processing unit (GPU), a digital signal processor (DSP), one or more application specific integrated circuits (ASICs), one or more radio-frequency integrated circuits (RFICs), or any combination of these), a main memory 1004, and a static memory 1006, which are configured to communicate with each other via a bus 1008. The computer system 1000 may further include graphics display unit 1010 (e.g., a plasma display panel (PDP), a liquid crystal display (LCD), a projector, or a cathode ray tube (CRT)). The computer system 1000 may also include alphanumeric input device 1012 (e.g., a keyboard), a cursor control device 1014 (e.g., a mouse, a trackball, a joystick, a motion sensor, or other pointing instrument), a storage unit 1016, a signal generation device 1018 (e.g., a speaker), and a network interface device 1020, which also are configured to communicate via the bus 1008.
The storage unit 1016 includes a machine-readable medium 1022 on which is stored instructions 1024 (e.g., software) embodying any one or more of the methodologies or functions described herein. The instructions 1024 (e.g., software) may also reside, completely or at least partially, within the main memory 1004 or within the processor 1002 (e.g., within a processor's cache memory) during execution thereof by the computer system 1000, the main memory 1004 and the processor 1002 also constituting machine-readable media. The instructions 1024 (e.g., software) may be transmitted or received over a network 1026 via the network interface device 1020.
While machine-readable medium 1022 is shown in an example embodiment to be a single medium, the term “machine-readable medium” should be taken to include a single medium or multiple media (e.g., a centralized or distributed database, or associated caches and servers) able to store instructions (e.g., instructions 1024). The term “machine-readable medium” shall also be taken to include any medium that is capable of storing instructions (e.g., instructions 1024) for execution by the machine and that cause the machine to perform any one or more of the methodologies disclosed herein. The term “machine-readable medium” includes, but not be limited to, data repositories in the form of solid-state memories, optical media, and magnetic media.
Throughout this specification, plural instances may implement components, operations, or structures described as a single instance. Although individual operations of one or more methods are illustrated and described as separate operations, one or more of the individual operations may be performed concurrently, and nothing requires that the operations be performed in the order illustrated. Structures and functionality presented as separate components in example configurations may be implemented as a combined structure or component. Similarly, structures and functionality presented as a single component may be implemented as separate components. These and other variations, modifications, additions, and improvements fall within the scope of the subject matter herein.
Certain embodiments are described herein as including logic or a number of components, modules, or mechanisms. Modules may constitute either software modules (e.g., code embodied on a machine-readable medium or in a transmission signal) or hardware modules. A hardware module is tangible unit capable of performing certain operations and may be configured or arranged in a certain manner. In example embodiments, one or more computer systems (e.g., a standalone, client or server computer system) or one or more hardware modules of a computer system (e.g., a processor or a group of processors) may be configured by software (e.g., an application or application portion) as a hardware module that operates to perform certain operations as described herein.
In various embodiments, a hardware module may be implemented mechanically or electronically. For example, a hardware module may comprise dedicated circuitry or logic that is permanently configured (e.g., as a special-purpose processor, such as a field programmable gate array (FPGA) or an application-specific integrated circuit (ASIC)) to perform certain operations. A hardware module may also comprise programmable logic or circuitry (e.g., as encompassed within a general-purpose processor or other programmable processor) that is temporarily configured by software to perform certain operations. It will be appreciated that the decision to implement a hardware module mechanically, in dedicated and permanently configured circuitry, or in temporarily configured circuitry (e.g., configured by software) may be driven by cost and time considerations.
The various operations of example methods described herein may be performed, at least partially, by one or more processors that are temporarily configured (e.g., by software) or permanently configured to perform the relevant operations. Whether temporarily or permanently configured, such processors may constitute processor-implemented modules that operate to perform one or more operations or functions. The modules referred to herein may, in some example embodiments, comprise processor-implemented modules.
The one or more processors may also operate to support performance of the relevant operations in a “cloud computing” environment or as a “software as a service” (SaaS). For example, at least some of the operations may be performed by a group of computers (as examples of machines including processors), these operations being accessible via a network (e.g., the Internet) and via one or more appropriate interfaces (e.g., application program interfaces (APIs).
The performance of certain of the operations may be distributed among the one or more processors, not only residing within a single machine, but deployed across a number of machines. In some example embodiments, the one or more processors or processor-implemented modules may be located in a single geographic location (e.g., within a home environment, an office environment, or a server farm). In other example embodiments, the one or more processors or processor-implemented modules may be distributed across a number of geographic locations.
Some portions of this specification are presented in terms of algorithms or symbolic representations of operations on data stored as bits or binary digital signals within a machine memory (e.g., a computer memory). These algorithms or symbolic representations are examples of techniques used by those of ordinary skill in the data processing arts to convey the substance of their work to others skilled in the art. As used herein, an “algorithm” is a self-consistent sequence of operations or similar processing leading to a desired result. In this context, algorithms and operations involve physical manipulation of physical quantities. Typically, but not necessarily, such quantities may take the form of electrical, magnetic, or optical signals capable of being stored, accessed, transferred, combined, compared, or otherwise manipulated by a machine. It is convenient at times, principally for reasons of common usage, to refer to such signals using words such as “data,” “content,” “bits,” “values,” “elements,” “symbols,” “characters,” “terms,” “numbers,” “numerals,” or the like. These words, however, are merely convenient labels and are to be associated with appropriate physical quantities.
Unless specifically stated otherwise, discussions herein using words such as “processing,” “computing,” “calculating,” “determining,” “presenting,” “displaying,” or the like may refer to actions or processes of a machine (e.g., a computer) that manipulates or transforms data represented as physical (e.g., electronic, magnetic, or optical) quantities within one or more memories (e.g., volatile memory, non-volatile memory, or a combination thereof), registers, or other machine components that receive, store, transmit, or display information.
As used herein any reference to “one embodiment” or “an embodiment” means that a particular element, feature, structure, or characteristic described in connection with the embodiment is included in at least one embodiment. The appearances of the phrase “in one embodiment” in various places in the specification are not necessarily all referring to the same embodiment.
Some embodiments may be described using the expression “coupled” and “connected” along with their derivatives. For example, some embodiments may be described using the term “coupled” to indicate that two or more elements are in direct physical or electrical contact. The term “coupled,” however, may also mean that two or more elements are not in direct contact with each other, but yet still co-operate or interact with each other. The embodiments are not limited in this context.
As used herein, the terms “comprises,” “comprising,” “includes,” “including,” “has,” “having” or any other variation thereof, are intended to cover a non-exclusive inclusion. For example, a process, method, article, or apparatus that comprises a list of elements is not necessarily limited to only those elements but may include other elements not expressly listed or inherent to such process, method, article, or apparatus. Further, unless expressly stated to the contrary, “or” refers to an inclusive or and not to an exclusive or. For example, a condition A or B is satisfied by any one of the following: A is true (or present) and B is false (or not present), A is false (or not present) and B is true (or present), and both A and B are true (or present).
In addition, use of the “a” or “an” are employed to describe elements and components of the embodiments herein. This is done merely for convenience and to give a general sense of the invention. This description should be read to include one or at least one and the singular also includes the plural unless it is obvious that it is meant otherwise.
While particular embodiments and applications have been illustrated and described, it is to be understood that the disclosed embodiments are not limited to the precise construction and components disclosed herein. Various modifications, changes and variations, which will be apparent to those skilled in the art, may be made in the arrangement, operation and details of the method and apparatus disclosed herein without departing from the spirit and scope defined in the appended claims.
This application is a divisional of U.S. application Ser. No. 15/067,576, filed Mar. 11, 2016, which is incorporated by reference in its entirety.
Number | Date | Country | |
---|---|---|---|
Parent | 15067576 | Mar 2016 | US |
Child | 16293313 | US |