DenseChip

Low Power / UPF · All levels

Isolation Strategies: Inputs & Outputs

Inputs & Outputs for Isolation Strategies.

Inputs and outputs contract

Inputs & Outputs for Isolation Strategies focuses on unisolated crossing count, isolation enable correctness, and X-propagation escapes. The goal is to link observed behavior to power-intent mechanism, ownership, and release risk.

Treat this as a signed interface between intent owners and implementers. Ambiguity here creates expensive late-stage debug loops.

diagram
INPUTS
  - UPF policy file(s) and revision tags
  - RTL control interface and PMU sequencing assumptions
  - legal power-state table and crossing inventory
  - implementation constraints for LP cells and rails

OUTPUTS
  - policy binding and insertion reports
  - transition coverage and assertion status
  - crossing risk list and ownership map
  - signoff decision memo

Domain map

diagram
POWER DOMAIN MAP — Isolation Strategies

  +------------------- always_on -------------------+
  | PMU / control / retention rail                  |
  +---------+----------------------------+----------+
            |                            |
   +--------v---------+         +--------v---------+
   | domain_A         |         | domain_B         |
   | switchable       |<------->| switchable       |
   | iso/ret controls | crossings require policy   |
   +------------------+         +------------------+

Domain boundaries are policy boundaries, not drawing boundaries.

State transitions

diagram
STATE TRANSITIONS — Isolation Strategies

ON  --save-->  RETENTION  --off-->  OFF
 ^               |                    |
 |               +----restore<--------+
 +--------------------power_up--------+

Guard checks:
  - isolation asserted before OFF
  - restore before functional traffic
  - reset policy consistent with retained state

Low-power deep dive

Isolation and retention are sequence-sensitive contracts, not static checkboxes.

Concept diagram

diagram
SEQUENCE

save -> isolate -> power-off -> power-on -> restore -> release

Metric graph

diagram
TRANSITION DEFECT MIX

polarity errors      ███████
late iso assertion   █████
restore ordering     ████

Reports and artifacts

  • isolation crossing report

  • retention list

  • save/restore timing

  • X-propagation log

Mini case study

A late isolation enable caused intermittent X leaks only on one PMU path.

Debug branches

  • Validate control polarity

  • Trace AON source

  • Replay transition waveform

Senior review question

Ask: what transition evidence proves this topic is closed, and which owner signs it?

Key takeaways

  • State transition context must accompany every low-power metric claim.

  • Intent changes require simulation, formal, and implementation re-validation.

Common pitfalls

  • Comparing results from mismatched UPF revisions.

  • Assuming static checks replace transition validation.

  • Shipping with aged waivers and unclear ownership.

Execution drill pack 1

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 1

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 2

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 2

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 3

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 3

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 4

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 4

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 5

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 5

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 6

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 6

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 7

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 7

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 8

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 8

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 9

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 9

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 10

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 10

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 11

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 11

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 12

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 12

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 13

Use this pack to rehearse low-power closure on low-power/isolation-retention/isolation-strategies/inputs-outputs: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

  • State transition explicitly named with legal source/target states.

  • Crossing and domain ownership are mapped and agreed.

  • Policy controls are traced to always-on source logic.

  • Waveform bookmarks align controls with state timestamps.

Review prompts

  1. Which policy object is first to deviate from intent?

  2. Which owner can apply the smallest reversible fix?

  3. What regression matrix proves no collateral damage?

  4. Which waiver conditions would still block release?

Evidence capsule

diagram
LP EVIDENCE CAPSULE 13

PATH: low-power/isolation-retention/isolation-strategies/inputs-outputs
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Principal LP review addendum

Isolation cells clamp outputs from switchable domains before receivers in always-on or differently powered domains sample unknown values.

Metric: unisolated crossing count, isolation enable correctness, and X-propagation escapes

Practice this lesson