The Ultimate Guide to Static Timing Analysis (STA)

Static Timing Analysis is defined as: a timing verification that ensures whether the various circuit timing are meeting the various timing requirements.

One of the most important and challenging aspect in the ASIC/FPGA design flow is timing closure. Timing closure can be viewed as timing verification of the digital circuit. A digital circuit which is closed for timing will work at specified frequency (defined by designer in timing constraints) and thus promised PPA (performance, power and area) can be achieved. Static timing Analysis is the method by which one can determine if timing closure is achieved or not by doing timing analysis on all paths within the digital circuit. As the name suggest this kind of verification of digital circuit is done statically (no simulation of the digital logic is required). Static timing analysis make use of the timing arcs (defined by technology library) between all the start and end points of the digital circuit. One must be aware that since there is no simulation involved, static timing analysis will not check for functional correctness, rather it will only focus on timing.

Before we dig deeper into how static timing analysis works, it is valuable to get some basic knowledge of terms used later.

Timing Arcs: The timing arcs are parameters defined in the process library for each cell which define the delays of the cell across different PVT corners. static timing analysis uses those parameters to calculate the max and min delay through any library cell. For example, for a D Flipflop, technology library will include the parameters that define the setup time, hold time and C (clock) to Q (output) time (TCQ).

TCQ: The TCQ is defined as time it takes for data to appear on output Q once clock C is triggered (pos edge or neg edge)

Any digital design can be divided into four categories of paths for static timing analysis.

1. Input to Output (I2O)
2. Input to Register (I2R)
3. Register to Register (R2R)
4. Register to Output (R2O)

For R2R paths, the start point is clock input pin of the launch Flip Flop and end point is D input pin of the latch flop. For setup constraints, the goal is to make sure that delay from start point to end point is at least setup time of latch flop less than clock period of the latch clock. This means that

TCQ + comb_delay(max)  < clock delay path (clock skew) + T (clock period of clock) – setup time of latch FF

comb_delay in below figure should be maximum delay through the combinatorial cloud.

Figure 4: Setup constraint for R2R paths

For hold constraint, the goal is to make sure that delay through start and end point is at least more than the hold time of the latch flop in same clock cycle.

TCQ + comb_delay (min) > hold time of latch FF + clock delay path (clock skew).

comb_delay in below figure should be minimum delay through the combinatorial cloud. One can observe that hold time do not depend on the clocking period of the clock.

Figure 5: Hold constraint for R2R paths

For I2R paths, the start point will be input ports and an end point will be D pin of the latch flop. One can assume an input delay from the input port to the combinatorial cloud as show below. The input delay can include pad delay or any net delay.

Figure 6: Setup/hold constraints for I2R paths

If the input ports are synchronous to external clock, the paths can be constrained for setup as,

input_delay  + comb_delay (max) < clock delay path (clock skew) + T (clock period of clock) – setup time of latch FF

And For the hold constraints as

input_delay + comb_delay (min) > hold time of latch FF + clock delay path (clock skew).

If input is not synchronous to clock, the path can be constrained with max and min delay for the path from input port to D pin of the Latch FF. Normally in such cases (a synchronous path latched by clock) requires two latching FFs back to back to remove metastability issues.

input_delay + comb_delay(max) < max_delay (required)

input_delay +comb_delay (min) > min_delay (required)

For R2O paths, the start point will be clock pin of the launch flop and an end point will be output port. One can assume an output delay from the output of combinatorial cloud as show below. Output delay can include pad delay or the net delay from combinatorial cloud to pad.

Figure 7: Setup/hold constraints for R2O paths

If the output ports are synchronous to the clock, the paths can be constrained for setup as,

TCQ + comb_delay (max)  + output_delay < clock delay path (clock skew) + T (clock period of clock) – setup time of latch FF

And For the hold constraints as

TCQ + comb_delay (min) > hold time of latch FF + clock delay path (clock skew).

If the output path is not synchronous to clock, the data path can be constrained with min and max delays.

TCQ  + comb_delay(max) + output_delay < max_delay (required)

TCQ  + comb_delay (min) + output_delay > min_delay (required)

For I2O paths, the start point is input port whereas end points are output ports. One can assume input delay for input ports and output delay for output ports. Normally the combinatorial paths between inputs and output ports are constrained so that minimum and maximum delay constraints are met.

Figure 8: Min/Max delay constraints for I2O paths

input_delay + comb_delay (max) + output_delay < max_delay (required)

input_delay + comb_delay (min) + output_delay > min_delay (required)

One can also assume that a virtual launch Flip Flop driving the input port and virtual latch flop latching the output port. In such scenario, the analysis can be done just like R2R paths.

Static Timing Analysis Tips & Tricks

• Start constraining your design by defining the clock(s).
• Always define the constraints for all primary inputs (input delay) and primary outputs (output delay).
• Constrain all the paths in the design. If the constraints file is not complete, static timing analysis analysis will not be complete. Remember, static timing analysis works with garbage in garbage out principle.
• If a path is not critical from timing perspective, you can define timing exceptions for those paths (false path, multi cycle path etc.)

原文地址：https://anysilicon.com/the-ultimate-guide-to-static-timing-analysis-sta/