ECO Regression Discipline: Mechanism

Mechanism to understand

Mechanism for ECO Regression Discipline focuses on post-ECO regressions caught, corner coverage, signoff approval latency. The goal is to connect observed QoR movement to mechanism, ownership, and regression risk.

Regression discipline prevents late-stage surprises by enforcing setup/hold, power, and equivalence checks after every ECO wave. Treat synthesis as a contract: constraints + transforms + reports must agree.

• Identify which lane moved first: timing, area, power, or runtime.

• Identify whether drift is input, transform, or correlation related.

• Identify owner before applying any ECO.

Flow model

SYNTHESIS FLOW — ECO Regression Discipline

RTL + constraints
      |
      v
elaboration + checks
      |
      v
mapping + optimization
      |
      v
QoR reports (timing/area/power)
      |
      v
incremental ECO + regression

Primary metric: post-ECO regressions caught, corner coverage, signoff approval latency

Regression matrix

[ ] setup corners
[ ] hold corners
[ ] power checks
[ ] equivalence
[ ] handoff report update

Layer responsibilities

SYNTHESIS OWNERSHIP LAYERS — ECO Regression Discipline

layer               owns                          failure mode
----------------    ---------------------------   -------------------------
constraints         clocks/exceptions/policy      fake QoR optimism
mapping             cell choices/structure        depth/fanout regressions
optimization        timing/power tradeoffs        one-metric overfitting
physical-aware      topo/congestion estimates     handoff delta surprises
closure             ECO order/regression          fixes break other corners

Synthesis deep dive

Incremental and ECO synthesis protect schedule only with strict regression discipline.

Concept diagram

INCREMENTAL ECO LOOP

identify delta -> localized compile -> patch -> regression -> release

Metric graph

ECO CYCLE TIME

full compile      ███████████
incremental       █████

Reports and artifacts

• incremental reuse

• ECO patch list

• LEC status

• regression matrix

Mini case study

Localized compile cut turnaround 40%, but skipped LEC caused rollback.

Debug branches

• Reuse ratio is not enough

• Patch locality check

• Always include equivalence hooks

Senior review question

Ask: what evidence proves this QoR move is real and stable?

Key takeaways

• State exact run context (RTL, SDC, libs, switches) with every QoR claim.

• Re-run timing, area, and power regressions after each synthesis ECO.

Common pitfalls

• Comparing runs with mismatched constraints or library views.

• Timing-only fixes that violate power or area budgets.

• Skipping equivalence checks after structural changes.

Mechanism deep dive

Regression discipline prevents late-stage surprises by enforcing setup/hold, power, and equivalence checks after every ECO wave.