Low Power Verification · All levels
Low Power Verification Metrics Reference
Core metrics for transition legality, corruption risk, replay determinism, and signoff confidence.
Core metric families
Transition legality: legal vs illegal PST transition rates.
Boundary integrity: isolation and level-shifter violation trend.
State integrity: retention save/restore mismatch ratio.
Signal quality: actionable vs noisy X-prop failure split.
Execution: time-to-root-cause and post-fix recurrence trend.
diagram
EVIDENCE MATRIX - LPV closure
+-----------------------------+--------------------------------+--------------------------------+---------------------------+
| Evidence | Tells you | Does not prove | Next action |
+-----------------------------+--------------------------------+--------------------------------+---------------------------+
| transition timeline traces | first failing LP phase | complete root-cause ownership | correlate with intent map |
| UPF-aware assertion logs | contract violations by phase | silicon product impact | map to scenario severity |
| corruption/X classification | actionable vs noisy failures | legal transition completeness | replay key mode corners |
| save/restore snapshots | state integrity movement | isolation correctness | pair with crossing checks |
| before-after regressions | mitigation movement quality | long-tail stability | run full matrix |
+-----------------------------+--------------------------------+--------------------------------+---------------------------+