STA Mastery · All levels
View Mismatch Triage: Step-by-Step Walkthrough
Step-by-Step Walkthrough for View Mismatch Triage.
Step-by-step analysis walkthrough
Use when you own View Mismatch Triage in a timing war room.
Open signoff scenario list — note worst WNS corner.
report_timing -max/-min on failing group.
Trace launch and capture clocks on critical path.
Check exceptions and generated clocks on path.
Break down cell vs net delay.
Compare implementation vs signoff view if delta suspicious.
Assign owner: RTL, synth, PD, CTS, SI.
Propose ECO with hold/SI check plan.
Run regression matrix.
Update closure dashboard and memo.
Artifacts to collect
view diff report, SPEF metadata, run comparison script
SDC file
SPEF tag
MMMC scenario list
ECO ticket
Decision memo template
STA DECISION MEMO — View Mismatch Triage
corner/mode:
WNS/TNS:
hypothesis:
ECO:
regression:
owners: STA owner, extraction owner, CAD ownerReference visuals
Run diff checklist
COMPARE TWO STA RUNS
same? netlist tag
same? SDC tag
same? SPEF tag / corner
same? lib corner map
same? tool version
first NO -> explain slack deltaSTA deep dive
Debug hygiene separates senior STA leads from report readers.
Concept diagram
DEBUG ORDER
1. same tags? 2. constraints? 3. view? 4. real path? 5. ECOMetric graph
ROOT CAUSE MIX (typical)
constraint bugs ████████ 35%
view mismatch ██████ 25%
real path ██████ 25%
methodology ████ 15%Reports and artifacts
run manifest
SDC diff
SPEF tag
scenario isolation
Mini case study
Mystery regression: SPEF corner tag typo in run script — not a design bug.
Debug branches
Manifest every run
War room by path group
Senior review question
Ask: what corner/mode/view proves this topic is closed or failing?
Key takeaways
State corner, mode, view, and database tag with every slack claim.
Run setup and hold plus MMMC regression after every ECO.
Common pitfalls
Comparing STA runs with different SPEF or SDC tags.
Broad false_path to green-wash violations.
Setup-only ECO without hold check.
Principal STA review addendum
Different SPEF, RC corners, or parasitic modes between runs explain apparent regressions without any design change.
Metric: slack delta between views, SPEF tag mismatch count