Low Power Verification · All levels
Power Bug Triage: Review Checklist
Review Checklist for Power Bug Triage.
Review checklist
Review Checklist for Power Bug Triage is anchored on illegal transition rate, corruption incidence, and deterministic replay quality under low-power scenarios. Convert observations into mechanism-backed and owner-bound actions.
Scope, mode, seed, and metadata are explicit.
Mechanism classification is evidence-backed.
Ownership and rollback boundary are documented.
Validation matrix includes deterministic replay checks.
Owners signed: LPV lead, power-intent owner, LPV Debug & Signoff owner.
Low-power verification deep dive
Signoff confidence comes from triage discipline, reproducible proof, and explicit residual-risk decisions.
Concept diagram
LPV SIGNOFF LADDER
reproduce -> classify -> isolate boundary -> bounded fix -> replay -> signoff decisionMetric graph
SIGNOFF CONFIDENCE
open ambiguous failures ██████
reproducible closures ███████
residual-risk unknowns ███Metrics and artifacts to collect
X-prop triage classification report
bug root-cause closure packet
regression stability and recurrence trend
signoff checklist completion matrix
Mini case study
A signoff block cleared after the team replaced broad waivers with boundary-specific evidence and replay criteria.
Debug branches
Classify X behavior before broad waiving.
Capture one definitive artifact packet per closure claim.
Define residual risk and rollback path at signoff.
Senior review question
Ask: what exact low-power transition boundary failed first, and which artifact proves the closure claim reproducibly?
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.
Principal LPV review addendum
Power Bug Triage should be reviewed as a transition integrity system, not just isolated checks.
Use illegal transition count, corruption incidence, and reproducibility of low-power regressions across fixed seeds as alarm and LPV evidence packet: transition timeline, assertion outcomes, and before-after replay summary as proof.
LPV debug and signoff require disciplined triage: classify X behavior, isolate root cause, and close with reproducible evidence. Closure quality comes from reproducible evidence and explicit owners.