View Mismatch Triage: Mechanism

Mechanism to understand

Mechanism for View Mismatch Triage focuses on slack delta between views, SPEF tag mismatch count. The goal is to connect the observable symptom to timing mechanism, ownership, and regression risk.

Different SPEF, RC corners, or parasitic modes between runs explain apparent regressions without any design change. Think of STA as a signed contract between constraints, parasitics, and implementation — slack is the measurable outcome.

• Identify launch and capture clocks on the failing path.

• Identify path group: reg2reg, in2reg, reg2out, or async.

• Identify whether setup, hold, or both fail in the scenario.

Layered view

STA CLOSURE FLOW — View Mismatch Triage

constraints (SDC)
        |
        v
timing graph (cell + net delays)
        |
        v
MMMC scenarios (corner x mode x view)
        |
        v
variation + SI adjustments
        |
        v
slack (WNS/TNS) -> ECO -> regression

Debug rule: always state corner, mode, view, and database tag with slack.

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 delta

Layer responsibilities

STA OWNERSHIP LAYERS — View Mismatch Triage

layer              owns                         failure mode
----------------   --------------------------   ---------------------
constraints        clocks, IO, exceptions       false violations
implementation     cells, nets, placement       real path delay
extraction         SPEF/RC corners              view mismatch
signoff policy     derate, MMMC matrix          margin disputes
closure           ECO order, regression        fix breaks other corner

STA 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. ECO

Metric 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.

Mechanism deep dive

Different SPEF, RC corners, or parasitic modes between runs explain apparent regressions without any design change.