STA Concept 8
Timing Verification
The two primary checks are the setup and hold checks. Once a clock is de
fined at the clock pin of a flip-flop, setup and hold checks are automatically
inferred for the flip-flop.
Setup Timing Check
The data should be stable for a
certain amount of time, namely the setup time of the flip-flop, before the
active edge of the clock arrives at the flip-flop. This requirement ensures
that the data is captured reliably into the flip-flop
The setup check can be mathematically expressed as:
Tlaunch + Tck2q + Tdp < Tcapture + Tcycle- Tsetup


