Digital VLSI Design

Lecture 5:
Timing Analysis
Semester A, 2018-19
Lecturer: Dr. Adam Teman

December 7, 2018

Disclaimer: This course was prepared, in its entirety, by Adam Teman. Many materials were copied from sources freely available on the internet. When possible, these sources have been cited;
however, some references may have been cited incorrectly or overlooked. If you feel that a picture, graph, or code example has been copied from you and either needs to be cited or removed,
please feel free to email adam.teman@biu.ac.il and I will address this as soon as possible.
 Lecture Outline

2 © Adam Teman, 2018

 1 2 3 4 5
Sequential Static Timing Design Timing Multi Mode
Clocking Analysis Constraints Reports Multi Corner

Sequential Clocking
 Synchronous Design - Reminder
• The majority of digital designs are Synchronous
and constructed with Sequential Elements.
• Synchronous design eliminates races
(like a traffic light).
• Pipelining increases throughput.
• We will assume that all sequentials are
Edge-Triggered, using D-Flip Flops as registers.
• D-Flip Flops have three critical timing parameters:
• tcq – clock to output: essentially a propagation delay
• tsetup – setup time: the time the data needs to arrive before the clock
• thold – hold time: the time the data has to be stable after the clock

4 © Adam Teman, 2018

 Timing Parameters - tcq
• tcq is the time from the clock edge until the data
appears at the output.
• The tcq for rising and falling outputs is different.

clk

tcqLH tcqHL tcqLH

5 © Adam Teman, 2018

 Timing Parameters - tsetup
• tsetup - Setup time is the time the data has to arrive before the clock
to ensure correct sampling.

clk

tsu tsu tsu

Good! Good! BAD!

6 © Adam Teman, 2018

 Timing Parameters - thold
• thold - Hold time is the time the data has to be stable after the clock
to ensure correct sampling.

clk

thold thold thold

Good! Good! BAD!

Q

7 © Adam Teman, 2018

 Timing Constraints
• There are two main problems that can arise in synchronous logic:
• Max Delay: The data doesn’t have enough time to pass
from one register to the next before the next clock edge.
• Min Delay: The data path is so short that it passes through
several registers during the same clock cycle.

• Max delay violations are a result of a slow data

path, including the registers’ tsetup, therefore it
is often called the “Setup” path.
• Min delay violations are a result of a short data path,
causing the data to change before the thold has passed,
therefore it is often called the “Hold” path.
8 © Adam Teman, 2018
 Setup (Max) Constraint
• Let’s see what makes up our clock cycle:
• After the clock rises, it takes tcq for the data to propagate to point A.
• Then the data goes through the delay of the logic to get to point B.
• The data has to arrive at point B, tsetup before the next clock.
• In general, our timing path is a race:
• Between the Data Arrival, starting with the launching clock edge.
• And the Data Capture, one clock period later.

clk D Q Logic D Q
A B
D tcq

A clk

B tsetup
9 © Adam Teman, 2018
Setup (Max) Constraint
Launch Path

margin

positive clock skew

Capture Path

T  tcq + tlogic + tsetup

Adding in clock skew and other guardbands:

T +  skew  tcq + tlogic + tsetup +  margin

© Adam Teman, 2018
 Hold (Min) Constraint
• Hold problems occur due to the logic changing before thold has passed.
• This is not a function of cycle time – it is relative to a single clock edge!
• Let’s see how this can happen:
• The clock rises and the data at A changes after tcq.
• The data at B changes tpd(logic) later.
• Since the data at B had to stay stable for thold after the clock (for the second
register), the change at B has to be at least thold after the clock edge.
clk
D Q Logic D Q
D A B
tcq

B clk
thold
11 © Adam Teman, 2018
Hold (Min) Constraint
Launch Path

margin

positive clock skew

Capture Path

tcq + tlogic  thold triggered on same clock edge!

Adding in clock skew and other guardbands:

tcq + tlogic −  margin  thold +  skew

© Adam Teman, 2018
 Summary
• For Setup constraints, the data has to propagate fast
enough to be captured by the next clock edge: tlaunch  T + tcapture
• This sets our maximum frequency.
• If we have setup failures, we can T +  skew  tcq + tlogic + tsetup +  margin
always just slow down the clock.

• For Hold constraints, the data path delay has to

be long enough so it isn’t accidentally captured
by the same clock edge: tlaunch  tcapture
• This is independent of clock period.
• If there is a hold failure, tcq + tlogic −  margin  thold +  skew
you can throw your chip away!
13 © Adam Teman, 2018
 1 2 3 4 5
Sequential Static Timing Design Timing Multi Mode
Clocking Analysis Constraints Reports Multi Corner

Static Timing Analysis

Or why and how to calculate slack.

This section is heavily based on Rob Rutenbar’s “From Logic to Layout”,

Lecture 12 from 2013. For a better ☺ and more detailed explanation, do
yourself a favor and go see the original!
 Static Timing Analysis (STA)
• STA checks the worst case propagation of all possible vectors for min/max delays.
• Advantages:
• Much faster than timing-driven, gate-level simulation
• Exhaustive, i.e., every (constrained) timing path is checked.
• Vector generation NOT required
• Disadvantages:
• Proper circuit functionality is NOT checked
• Must define timing requirements/exceptions
(garbage in → garbage out!)
• Limitations:
• Only useful for synchronous design
• Cannot analyze combinatorial feedback loops
• e.g., a flip-flop created out of basic logic gates
• Cannot analyze asynchronous timing issues
• Such as clock domain crossing
• Will not check for glitching effects on asynchronous pins
• Combinatorial logic driving asynch (set/reset) pins of sequential elements will not be checked for glitching
15 © Adam Teman, 2018
 Timing Paths
• A path is a route from a Startpoint to an Endpoint. D Q A S D Q
• Startpoint (SP)
• Clock pins of the flip flops Clk Clk
• Input ports , a.k.a Primary Inputs (PI)
D Q B Co D Q
• Endpoints (EP)
• Input pins of the flip flops Clk Clk
(except the clock pins)
• Output ports, a.k.a Primary Outputs (PO) D Q Ci
• Memories / Hard macros
• There can be: Clk

• Many paths going to any one endpoint

• Many paths for each start-point and end-point combination

16 © Adam Teman, 2018

 Static Timing Analysis
• Four categories of timing paths
• Register to Register (reg2reg) • Input to Register (in2reg)
• Register to Output (reg2out) • Input to Output (in2out)

17 © Adam Teman, 2018

 Goals of Static Timing Analysis
• Verify max delay and min delay constraints are met for all paths in a design.
• Start with a Gate-Level Netlist.
• Timing Models are provided for every gate in the library.
• Static Timing Analysis needs to report if any path violates
the max/min delay constraints.
• But is this enough?
• No!
• We want to know all the paths that violate the timing constraints.
• In fact, we want to know the timing of all paths reported in order of length.
• And we want to know where the problems are so we can go about fixing them.
• Let’s see the basic idea of how this can be done.

18 © Adam Teman, 2018

 Some basic assumptions
• Our design is synchronous
• In addition, we will only be showing how to deal with
combinational elements and max delay constraints.
• We will assume a pin-to-pin delay model
• In other words, each gate has a single, constant delay from input to output.
• In the real world, gate delay is affected by many factors, such as gate type,
loading, waveform shape, transition direction, particular pin, and random
variation.
• As we saw earlier, a real design gets all this data from the .lib files.
• We will take a topological approach
• In other words, we disregard the logical functionality of the gates and
therefore, consider all paths, though some of them cannot logically happen.
• More on this later…

19 © Adam Teman, 2018

 Simple path representation
a c
• Let’s say we have the following circuit: b e
d
• And the timing model of our AND gate is: 2

• We will build a graph: 2

• Vertices: Wires, 1 per gate output a 2

and 1 for each SP and EP. c 2
• Edges: Gates, input pin to output pin, e
b 2
1 edge per input with a delay for each edge. 2
d
• Finally, add Source/Sink Nodes:
• 0-weight edge to each SP and from each EP. 0 a 2
• That way all paths start and end at a single node. 0 c
2
SRC b 2 e SNK
0
0 2
20 d Adam Teman, 2018
©
 Node oriented timing analysis
• If we would enumerate every path, we would quickly get
exponential explosion in the number of paths.
• Instead, we will use node-oriented timing analysis
• For each node, find the worst delay to the node along any path.
• For this, we need to define two important values:
• Arrival Time at a node (AT): the longest path from the source to the node.
• Required Arrival Time at node (RAT): the latest time the signal
is allowed to leave the node to make it to the sink in time.
Slack at node n is defined as:
Slack(n) = RAT(n) – AT(n)

21 © Adam Teman, 2018

 How do we compute ATs and RATs?
• Recursively!
• The Arrival Time at a node is just the maximum of
the ATs at the predecessor nodes plus the delay from that node.
• The Required Arrival Time to a node is just the minimum of
the RATs at the successor nodes minus the delay to that node.

 0 n = SRC
AT ( n ) =  max  AT p +  p, n  n  SRC
 ppred( n ) 
( ) ( )

 T n = SNK
RAT ( n ) =  min  RAT s −  n, s  n  SNK
 ssucc( n ) 
( ) ( )

22 © Adam Teman, 2018

 So let’s try to understand AT, RAT, and Slack
If the signal arrives too late, we
get negative slack, which means
there is a timing violation.

Slack
Slack
RAT(n)
AT(n) RAT(n)
AT(n)
RAT: longest logic
AT: longest delay to the capture
logic delay edge of the clock
after launch (dependent on
of clock cycle time)

Launch Clock cycle time (T) Capture Clock cycle time (T)

23 © Adam Teman, 2018

 Now let’s see an example
• Just look at this path and try to find the worst path.
• Does it meet a cycle time of T=12 ?
3 g
a 1
d 2
j
5 1
b 4 f
3
c 1 2 k
4
3 h
2 e 5 n
• Now let’s fill in the RAT, AT, and SLACK of each node and:
• Quickly find out if we meet timing
• Figure out what the worst path is

24 © Adam Teman, 2018

 Now let’s see an example
• We’ll start by representing it as a
directed acyclic graph (DAG)
• Next, we’ll compute ATs from SRC to SNK
0 1 4 7
1 3 2
a d g j
0 5 1 0
0 0 6 12 15
0 4 3 0
SRC b f 4 k SNK
2
0 1 h 0
0 2 3 5
15
2 10
c e n
25 © Adam Teman, 2018
 Now let’s see an example
• And now RAT from SNK to SRC

0 -3 1 -2 4 10 7 12
1 3 2
a d g j
0 5 1 0
0 -3 0 -1 6 3 12 12 15 12
0 4 3 0
SRC b f 4 k SNK
2
0 1 h 0
0 2 2 4 3 5
15 12
2 10 7
c e n
26 © Adam Teman, 2018
 Now let’s see an example
• And finally, we can calculate the slack.
• And guess what – we found the critical path!

0 -3 -3 1 -2 -3 4 10 6 7 12 5
1 3 2
a d g j
0 5 1 0
0 -3 -3 0 -1 -1 6 3 -3 12 12 0 15 12 -3
0 4 3 0
SRC b f 4 k SNK
2
0 1 h 0
0 2 2 2 4 2 3 5
15 12 -3
2 10 7 -3
c e n
27 © Adam Teman, 2018
 False Paths
• We saw how to find the RAT, AT and Slack at every node.
• All of this can be done very efficiently and be adapted for min timing,
sequential elements, latch-based timing, etc.
• Even better, we can quickly report the order of the critical paths.
• However, this was all done topologically (i.e., without looking at logic).
• Let’s see why this is a problem
This is called a “False Path”

8 8
a d 2 8 g 2 a d 2 8 g 2
0
f 1 2 j 0
1 1 1 2 1
b e 2 h b
1
e 2 h
1 1 1 1
c i c
28 © Adam Teman, 2018
 The Chip Hall of Fame
• Speaking about Timing, we shouldn’t forget the
source: wikipedia

• A simple timing chip that is still popular today.

• Release date: 1971
• 23 transistors, 16 resistors, 2 diodes
• BiPolar Process 8-pin DIP
Photo: Evil Mad Scientist Laboratories
• Can function as a timer, pulse generator or an oscillator.
• Designed by Hans Camenzind, who also introduced the
Phase Locked Loop to integrated circuits (ISSCC 1969)
• Approximately 1B units were manufactured per year in 2003.

2017 Inductee to the IEEE Chip Hall of Fame Photo: Hans Camenzind
 1 2 3 4 5
Sequential Static Timing Design Timing Multi Mode
Clocking Analysis Constraints Reports Multi Corner

Design Constraints
 Timing Constraints
• “Stupid Question”:
• How does the STA tool know what the required clock period is?
• Obvious Answer…
• We have to tell it!
• We have to define constraints for the design.
• This is usually done using the
Synopsys Design Constraints (SDC) syntax,
which is a superset of TCL.
• Three main categories of timing constraints:
• Clock definitions
• Modeling the world external to the chip
• Timing exceptions
31 © Adam Teman, 2018
 Collections
• So you think you know TCL, right?
• Well EDA tools sometimes use a different data
structure called a “collection”
• A collection is similar to a TCL list, but:
• The value of a collection is not a string, but rather a pointer, and we need to
use special functions to access its values.
• For example, if you were to run foreach on a collection, it would just have one
element (the pointer to the collection). Instead, use foreach_in_collection.
• I won’t go into the specifics here (see SynopsysCommandsReference), but
these are some of the collection accessing functions:
foreach_in_collection filter_collection copy_collection
index_collection add_to_collection get_object_name
sizeof_collection compare_collections remove_from_collection
sort_collection
32 © Adam Teman, 2018
 Design Objects
• Design: A circuit description that performs one or more logical functions (i.e Verilog module).
• Cell: An instantiation of a design within another design (i.e Verilog instance).
• Called an inst in Stylus Common UI.
• Reference: The original design that a cell "points to" (i.e Verilog sub-module)
• Called a module in Stylus Common UI. module foo (a,b,out);

• Port: The input, output or inout port of a Design. input a, b; Design

Port
• Pin: The input, output or inout pin of a Cell in the Design.
output out;

wire n1; Pin

• Net: The wire that connects Ports to Pins Cell (inst)
Net
and/or Pins to each other.
INVx1 U1 (.in(a),.out(n1));
• Clock: Port of a Design or Pin of a Cell explicitly NANDX3 U2 (.in1(n1),.in2(b),.out(out));
defined as a clock source.
Reference
• Called a clock_tree in Stylus Common UI. endmodule (module)
33 © Adam Teman, 2018
 module foo (a,b,out);

SDC helper functions input a, b;

output out;
Design
Port

wire n1;
• Before starting with constraints, Pin
Cell Net
let’s look at some very useful built in commands:
INVx1 U1 (.in(a),.out(n1));
• Note that all of these return collections
and not TCL lists! NANDX3 U2
Reference
(.in1(n1),.in2(b),.out(out));
• These will only work after design elaboration!
• “get” commands: endmodule
• [get_ports string] – returns all ports that match string.
• [get_pins string] – returns all cell/macro pins that match string.
• [get_nets string] – returns all nets that match string.
• Note that adding the –hier option will search hierarchically through the design.
• “all” commands:
• [all_inputs] – returns all the primary inputs (ports) of the block.
• [all_outputs] – returns all the primary outputs (ports) of the block.
• [all_registers] – returns all the registers in the block.
34 © Adam Teman, 2018
 Clock Definitions
• To start, we must define a clock:
• Where does the clock come from? (i.e., input port, output of PLL, etc.)
• What is the clock period? (=operating frequency)
• What is the duty-cycle of the clock?
create_clock –period 20 –name my_clock [get_ports clk]

• Can there be more than one clock in a design?

• Yes, but be careful about clock domain crossings! (…more later)
• If a clock is produced by a clock divider, define a “generated clock”:
create_generated_clock –name gen_clock \
-source [get_ports clk] –divide_by 2 [get_pins FF1/Q]

35 © Adam Teman, 2018

 Clock Definitions (2)
• But during synthesis, we assume the clock is ideal, so:
set_ideal_network [get_ports clk]

• However, for realistic timing, it should have some transition:

set_clock_transition 0.2 [get_clocks my_clock]

• And we may want to add some jitter, so:

set_clock_uncertainty 0.2 [get_clocks my_clock]

• Finally, after building a clock tree, we do not want

the clock to be ideal anymore, so:
set_propagated_clock [get_clocks my_clock]

36 © Adam Teman, 2018

 I/O Constraints
• Now that the clock is defined, reg2reg paths are sufficiently constrained.
However, what about in2reg, reg2out, and in2out paths?
• First, what clock toggles an I/O port?
• And what about the time needed outside the chip?

• Define I/O constraints:

• Input and output delays model the length of the path
outside the block:

set_input_delay 0.8 –clock clk \

[remove_from_collection [all_inputs] [get_ports clk]]
set_output_delay 2.5 –clock clk [all_outputs]

• Note that a better methodology is to define a “virtual clock”,

but let’s not confuse you too much at this point…

37 © Adam Teman, 2018

 I/O Constraint (2)
• An alternative approach is to define max delays to/from I/Os:
set_max_delay 5 \
–from [remove_from_collection [all_inputs] [get_ports clk]]
set_max_delay 5 –to [all_outputs]

• Additionally, we must model the transitions on the inputs:

set_driving_cell –cell [get_lib_cells MYLIB/INV4] –pin Z \
[remove_from_collection [all_inputs] [get_ports clk]]

• And capacitance of the outputs:

set_load $CIN_OF_INV [all_outputs]

38 © Adam Teman, 2018

 I/O Constraint (3)
• Graphically, we can summarize the I/O constraints, as follows:

Input and
Output Delays

Input drive and

output cap modeling
39 © Adam Teman, 2018
 Timing Exceptions
• There are several cases when we need to define exceptions
that should be treated differently by STA. 8
• For example, looking into the topology a d 2 8 g 2
0 0
of the network we saw earlier: 1
1 1 2 1
b e 2 h

1 1
c
• In this case, we would define a false path:

set_false_path –through [get_pins mux1/I0] –through [get_pins mux2/I0]

set_false_path –through [get_pins mux1/I1] –through [get_pins mux2/I1]

40 © Adam Teman, 2018

 Timing Exceptions (2)
• Another common case of a false path is a clock
domain crossing through a synchronizer:
set_false_path –from F1/CP –to F2/D

• Alternatively, this can be defined with:

set_clock_groups –logically_exclusive \
–group [get_clocks C1] –group [get_clocks C2]

• If an equal-phase (divided) slow clock is sending data

to a faster clock, a multi-cycle path may be appropriate:
set_multicycle_path –setup –from F1/CP –to F2/D 2
set_multicycle_path –hold –from F1/CP –to F2/D 1

41 © Adam Teman, 2018

 Case Analysis
• A common case for designs is that some value should be assumed constant
• For example, setting a register for a certain operating mode.
• In such cases, many timing paths are false
• For example, if the constant sets a multiplexer selector.
• Or a ‘0’ is driven to one of the inputs of an AND gate.
• To propagate these constants through the design and disable irrelevant timing
arcs, a set_case_analysis constraint is used:
set_case_analysis 0 [get_ports TEST_MODE]

42 © Adam Teman, 2018

 Design Rule Violations (DRV)
• You can set specific design rules that should be met, for example:
• Maximum transition through a net.
set_max_transition $MAX_TRAN_IN_NS

• Maximum Capacitive load of a net.

set_max_capacitance $MAX_CAP_IN_PF

• Maximum fanout of a gate.

set_max_fanout $MAX_FANOUT

43 © Adam Teman, 2018

 Yield-driven and Advanced STA
• There are many more concepts, approaches, and terminologies
used in timing analysis for high-yield signoff:
• On-chip Variation (OCV)
• Advanced On-Chip Variation (AOCV)
• Signal Integrity (SI)
• and more and more…*
• We will end with the basics now and get back to this
towards the end of the course.

* Between the time I wrote this slide and presented it to you, each
EDA vendor has presented another method for timing closure that
you just must know about and have to use ☺.
44 © Adam Teman, 2018
 1 2 3 4 5
Sequential Static Timing Design Timing Multi Mode
Clocking Analysis Constraints Reports Multi Corner

Timing Reports

45
 Check Types
• Throughout this lecture, we have
discussed the two primary timing checks:
• Setup (max) Delay
• Hold (min) Delay
• However, in practice, there are other
categories of timing checks that you will
encounter:
• Recovery
• Removal
• Clock Gating
• Min Pulse Width
• Data-to-Data
46 © Adam Teman, 2018
 Recovery, Removal and MPW
• Recovery Check
• The minimum time that an asynchronous control
input pin must be stable after being deasserted and
before the next clock transition (active-edge)
• Removal Check
• The minimum time that an asynchronous control
input pin must be stable before being deasserted and
after the previous clock transition (active edge)
• Minimum Clock Pulse Width (MPW)
• The amount of time after the rising/falling edge of a
clock that the clock signal must remain stable.

47 © Adam Teman, 2018

 Clock Gating Check
• Clock gating occurrences are any signals on the clock path
that block (gate) the clock from propagating.
• The enable path of the clock gate must arrive enough time before the clock
itself to ensure glitch-free functionality (and similarly hold after the edge).

Ex. 1: Gating signal should only change Ex. 2: Gating signal should only change
when the clock is in the low state when the clock is in high low state
48 © Adam Teman, 2018
 Checking your design
• report_analysis_coverage checks that you have fully constrained your
design.

• check_timing Performs a variety of consistency and completeness checks

on the timing constraints specified for a design.
49 © Adam Teman, 2018
 Report Timing
• Perhaps the most important command in any synthesis or place and route tool
is report_timing.
• For convenience, we will look
at the Stylus Common UI syntax
and reports.
• For other tools, the
concepts are similar.

50 © Adam Teman, 2018

 Report Timing
report_timing

Header

Launch path

51 © Adam Teman, 2018

 Report Timing - Header

Path # - ordered by WNS Did we meet timing? Setup or Hold?

Path Group

Start Point

Endpoint Rising or falling

Clock Edges

Source Latency
Flop Setup Time
Clock Net Latency Clock Uncertainty (Jitter)
Required Time = Arrival - Setup - Jitter
Data Path arrival time
52 © Adam Teman, 2018
Final Slack Calculation
 Report Timing – Launch Path
• Standard timing report only shows the data delay of the launch path and very
basic information.

Fanout

rising/falling

Instance name
Arrival Time

Transition
Timing Arc

Gate + Wire Delay

53 © Adam Teman, 2018

 Report Timing – Full Clock
• To get more data about the clock propagation, use the full_clock option:
report_timing –path_type full_clock
Source insertion delay is calculated
to average out I/O clocking
• Pay attention –
timing calculation
has changed!

Clock Port
Launch Clock

Timing report continues…

Data Start Point
54 © Adam Teman, 2018
 Report Timing – Full Clock (2)
Continued from last slide
• We also get to see the Capture Clock.

Endpoint
data pin
Launch path endpoint

Same Clock Port

Capture Clock Endpoint

clock pin

55 © Adam Teman, 2018

 Report Timing – fields option
• To debug timing, we would like more information, for example, the net name,
the wire capacitance, the pin capacitance, etc.
• Use the –fields option to get the info you really need.
• For example:
report_timing -fields "timing_point cell arc edge fanout load pin_load transition delay arrival"

“edge” – falling “transition” – rise/fall “delay” – total delay

“cell” – standard or rising signal time on the net through the cell
cell name
“Timing point”

“arc” – timing arc

“load” - wire and input “arrival” – arrival time

56 capacitances on the net at the © Adam
timing pointTeman, 2018
 Report Timing – Selecting Paths
• By default, report_timing shows you the most critical path
• i.e., the path with the worst negative slack (WNS)
• But sometimes, we want to analyze a specific path or set of paths.
• For example, I only want to see the paths that come from a primary input…
• Use the –from, – to, – through flags and their variants:
• -from: To select a start point (= input port or register/IP clock pin)
• -to: To select an endpoint (= output port or register/IP data pin)
• -through: to select any other pin
• You can specify direction (i.e., -through_rise), clock (i.e., -clock_from)
report_timing –from ff1/CK –through_fall mux1/I0 –to [all_outputs]

57 © Adam Teman, 2018

 Report Timing - Path Groups
• Path groups are categories of paths that are both
optimized and reported separately.
• Default path groups, as we saw before, are
reg2reg, in2reg, reg2out, in2out.
• In addition, paths ending at clock gates (reg2cgate) are treated separately.
• To automatically create these groups, use the create_basic_path_groups
command in Innovus.
create_basic_path_goups -expanded

• To create specific path groups for your design, use the group_path command:
group_path –from ff1/CLK –to ff2/D –name my_path

• To report timing for a certain path group:

report_timing –path_group my_path
58 © Adam Teman, 2018
 Report Timing - Hold
• By default, the report_timing command reports setup (max delay) timing.
• After clock tree synthesis, you will want to make sure your design meets
hold (min_delay),
as well.
Hey, it worked!
• To report hold timing,
The analysis view changed to the
just add the –early Best Case (more later…)
option Launch and capture clock at the
same edge
report_timing –early Register hold constraint
Now, it’s
Slack=Arrival-Required

59 © Adam Teman, 2018

 Report Timing Debugger
• A very good GUI option is to use the Innovus “Debug Timing” tool.
• This tool lets you explore the
timing report interactively, even
showing path schematics, SDC,
and highlighting the path in the
layout.

60 © Adam Teman, 2018

 1 2 3 4 5
Sequential Static Timing Design Timing Multi Mode
Clocking Analysis Constraints Reports Multi Corner

Multi-Mode Multi-Corner
Or how to deal with the corner crisis!

61
 More than one operating mode
• During synthesis, we (usually) target timing for a worst-case scenario.
• But, what is “worst-case”?
• Intuitively, that would be a slow corner, (i.e., SS, VDD-10%, 125C)
• No need for hold checking, since clock is ideal (No skew = No hold)
• But, what if there is an additional operating mode? Mode TEST_MODE FREQ
• For example, a test (scan) mode. Functional 0 1 GHz
• Do we have to close timing Test 1 10 MHz
at the same (high) clock speed?
• No problem, we’ll just deal with both modes separately
• Prepare an additional SDC and rerun STA/optimization.
set_case_analysis 1 [get_ports TEST_MODE]
create_clock –period [expr $TCLK/100] –name TEST_CLK [get_ports TEST_CLK]
62 © Adam Teman, 2018
 Many, many, corners…
• But real SoCs are much more complex: Mode VDD1 FREQ1 VDD2 FREQ2
F1 1.2 V 2 GHz 0.8 V 500 MHz
• Many operating modes.
F2 0.8 V 400 MHz 0.8 V 400 MHz
• Many voltage domains.
F3 Off Off 0.5 V 50 MHz
• With real clock, need to check hold.
TEST 1.2 V 10 MHz 1.2 V 10 MHz
• We easily get to hundreds of corners
• Setup and hold for every mode.
• Hold can be affected by SI →
check hold for all corners
• Temperature inversion – what is the worst case?
• RC Extraction – what is the worst case?
• Leakage – what is the worst case?
• Aaaaarrrrrgggghhhh!

63 © Adam Teman, 2018

 The corner crisis
• Traditional approach not feasible

64 © Adam Teman, 2018

 Multi-Mode, Multi-Corner
• MMMC to the rescue!
• It’s implemented in a slightly (!) confusing way,
but it really simplifies things.
• The basic concept is that we create analysis views that can then
be selected for setup and hold (max and min) constraints.
Analysis View = “Turbo” Analysis View = “Low Power” Analysis View = “Turbo - Hold”

VDD=1.2V VDD=0.5V VDD=1.3V

Freq=2 GHz Freq=50 MHz Freq=2 GHz
Corner=SS Corner=SS Corner=FF
Temp=125 C Temp=125 C Temp= -40 C
OpMode=“Turbo” OpMode=“LP” OpMode=“Turbo”

Setup checks: “Turbo” and “Low Power” Modes

Hold checks: “Turbo – Hold” Mode
65 © Adam Teman, 2018
 Multi-Mode, Multi-Corner
• Defining Analysis Views is done in hierarchical fashion.
• An analysis view is constructed from a
delay corner and a constraint mode.
create_analysis_view –name turbo \
–constraint_mode turbo_mode –delay_corner slow_corner_vdd12
create_analysis_view –name low_power \
–constraint_mode low_power_mode –delay_corner slow_corner_vdd05
create_analysis_view –name turbo_hold \
–constraint_mode turbo_mode –delay_corner fast_corner_vdd13

set_analysis_view –setup {turbo low_power} –hold {turbo_hold}

• A delay corner tells the tool how the delays are supposed to be calculated.
Therefore it contains timing libraries and extraction rules.
• A constraint mode is basically the relevant SDC commands/conditions for the
particular operating mode.
66 © Adam Teman, 2018
 Multi-Mode, Multi-Corner
• So now, let’s define the lower levels of the MMMC hierarchy.
• A constraint mode is simply a list of relevant SDC files. When you move
between analysis views, the STA tool will automatically apply the relevant
constraints to the design.
create_constraint_mode –name turbo_mode –sdc_files {turbo.sdc}
create_constraint_mode –name low_power_mode –sdc_files {low_power.sdc}

• A delay corner is a bit more complex. It comprises a timing condition, an RC

corner and a few other things that we won’t discuss right now.
create_delay_corner –name slow_corner_vdd12 \
–rc_corner {RCmax} –timing_condition {ss_1p2V_125C}
create_delay_corner –name slow_corner_vdd05 \
–rc_corner {RCmax} –timing_condition {ss_0p5V_125C}
create_delay_corner –name fast_corner_vdd13 \
–rc_corner {RCmin} –timing_condition {ff_1p3V_m40C}

67 © Adam Teman, 2018

 Multi-Mode, Multi-Corner
• Confused yet? Well, we still have more to go.
• A timing condition is a collection of library sets to be used for a certain power
domain. For this course, we will just automatically connect a timing condition to
a library set.
create_timing_condition -name tc_ss_1p2V_125C \
-library_sets ss_1p2V_125C

• A library set is a collection of the .lib characterizations that should be used

for timing the relevant gates.
This includes the standard cells and other macros, such as RAMs and I/Os.
There also may be special “SI” characterizations for noise.
create_library_set -name ss_1p2V_125C \
-timing [list ${sc_libs}/ss_1p2V_125.lib ${mem_libs}/ss_1p2V_125.lib \
${io_libs}/ss_1p8V_125.lib] –si ${sc_libs}/ss_1p2V_125.si
68 © Adam Teman, 2018
 Multi-Mode, Multi-Corner
• And finally, an RC corner is a collection of the rules for RC extraction. There
may be a “capacitance table” for quick extraction and a
QRC techfile for accurate extraction.
The temperature is also defined in the RC corner, but it is taken into account in
the .lib file, as well.
create_rc_corner -name RCmax -cap_table ${tech}/RCmax.CapTbl} -T {125} \
-qx_tech_file ${tech}/RCmax.qrctech

69 © Adam Teman, 2018

 Multi-Mode, Multi-Corner - Summary
Timing
Condition
Timing1 Library Set 1
Library Set 2
Condition
Timing2 Library Set 3
Delay
Corner 1 Condition 3
Analysis View 1 Delay
Corner 1
Analysis View 2 Delay
Selected Corner 3 RC Corner 1
Setup Views RC Corner 2
Analysis View 3 RC Corner 3
Selected Hold Analysis View 4
Views
Analysis View 5
Constraint
Mode 1
Analysis View 6 Constraint
Mode 1
Constraint
Mode 3
70 © Adam Teman, 2018
 …So you think that was complicated?
• What if I have multiple voltage domains?
• Now, for example, in a certain operating mode, one inverter is operated at
1.2V, while another one, only a few microns away, is at 0.6V.
• How do I define that library set?
• Even worse…
• What happens if I want to power down a certain module?
• What if I want to power down a module, but retain the state (i.e., the value
stored in the flip flops)?
• How do I transfer data between two voltage domains?
• Arrrrrgggghhhh!

• We’ll briefly discuss this next lecture…

71 © Adam Teman, 2018
 References
• Gil Rahav, BGU
• Gangadharan, Churiwala “Constraining Designs for Synthesis and Timing
Analysis: A Practical Guide to Synopsys Design Constraints (SDC)”, Springer,
2013
• Synopsys SourceLink (+Synthesis Quick Reference)
• Cadence Support (+Genus and Innovus Text Command References)
• Rob Rutenbar “From Logic to Layout”, Coursera

72 © Adam Teman, 2018