Low Power Verification · All levels

Scenario: X-Prop False Fail - Interview Scenario

Power-aware X-prop runs produce broad failures in arithmetic scoreboards after shutdown tests, but silicon correlation suggests many are benign and not user-visible.

Scenario

Power-aware X-prop runs produce broad failures in arithmetic scoreboards after shutdown tests, but silicon correlation suggests many are benign and not user-visible.

diagram
OBSERVED METRIC
X-prop failure volume versus true actionable bug ratio after triage and replay.

45-MINUTE INTERVIEW FLOW
0-5: define context and KPI
5-15: classify first failing LP boundary
15-25: identify proving artifact packet
25-35: propose bounded fix with owner
35-45: define validation matrix and rollback

Common traps to avoid

  • Classifying all X-prop failures as critical escapes without root-cause buckets.

  • Waiving failures globally without boundary-specific evidence.

  • Skipping targeted assertions that distinguish legal corruption from real protocol breakage.

Scenario debrief

Score response quality on transition-boundary classification, evidence chain, owner assignment, and rollback-safe closure.

diagram
intent -> transition behavior -> evidence -> owner action -> closure
diagram
escape risk and closure trend

Debrief prompts

  1. Which low-power phase boundary failed first and how is it proven?

  2. Which failure class best explains the symptom: setup, transition, boundary, retention, or X-prop triage?

  3. Which bounded fix and validation matrix close risk with minimal collateral change?

Key takeaways

  • Tie each LPV claim to a concrete transition boundary and one proving artifact.

  • Prefer minimal reversible fixes with explicit owner and rollback criteria.

Common pitfalls

  • Treating power-aware failures as random before boundary classification.

  • Waiving X-prop failures before proving impact and root cause.

  • Declaring closure without deterministic replay across key modes.