Low Power / UPF · All levels
Always-On Logic: Theory Deep Dive
Theory Deep Dive for Always-On Logic.
Foundational theory
Always-On Logic is a core part of Level Shifters & Power Switches. Always-on logic hosts power-management controls, retention supplies, and wake-up paths that must remain functional when switchable domains are OFF. Senior engineers connect observed behavior to explicit state policy, domain boundaries, and sequence ownership before proposing fixes.
Core concepts explained
Always-on logic hosts power-management controls, retention supplies, and wake-up paths that must remain functional when switchable domains are OFF.
Primary metric: AON rail continuity, control-signal survivability, and leakage budget for AON islands
Primary artifact: AON island floorplan, control path audit, and AON leakage report
Owners: architecture owner, PD owner, UPF owner
Legal state transitions must be explicit and testable
Every crossing requires policy + evidence
Why this matters in product signoff
At product level, Always-On Logic defects become intermittent, expensive silicon escapes. Cross-voltage communication and domain gating are physical + logical co-design problems.
Mental model
AON ISLAND
[PMU FSM] [isolation controls] [retention controls] [wake IRQ]
| | | |
must survive when switchable domains are OFF
AON leakage is tradeoff vs control survivability.Worked intuition
Name the failing mode transition and power states.
Open AON rail continuity, control-signal survivability, and leakage budget for AON islands and identify which crossing or policy failed.
Align waveform timeline with PMU control sequence.
Check UPF object binding and policy ownership.
Collect AON island floorplan, control path audit, and AON leakage report with database/view tags.
Classify: intent mismatch, sequencing bug, or implementation defect.
Apply minimal fix and rerun LP regression matrix.
Common misconceptions
If active mode passes, low-power behavior is safe.
Isolation alone can hide all OFF-domain issues.
Any UPF syntax conversion preserves semantics.
Static reports are enough without transition coverage.
Visual reinforcement
Always-on island responsibilities
AON ISLAND
[PMU FSM] [isolation controls] [retention controls] [wake IRQ]
| | | |
must survive when switchable domains are OFF
AON leakage is tradeoff vs control survivability.Layer responsibilities
LP OWNERSHIP LAYERS — Always-On Logic
layer owns typical failure
------------------ --------------------------- --------------------------
architecture domain strategy infeasible power states
UPF intent policy objects + bindings wrong/missing policy
implementation LP cell insertion/routing illegal physical behavior
verification transition scenarios uncovered LP bug
signoff governance waiver + release decisions late escape to siliconLow-power deep dive
Voltage translation and switch topology must be co-optimized with transition reliability.
Concept diagram
CROSSING + GATING
domain crossing -> level shifter
domain enable -> staged switchesMetric graph
INRUSH RISK
single-stage enable █████████ high
staged enable ███ lowerReports and artifacts
LS insertion summary
switch enable schedule
inrush profile
AON control audit
Mini case study
Staged switch enable solved rail dip without violating wake latency budget.
Debug branches
Check shifter direction map
Audit switch staging
Correlate with transient IR
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 1
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 2
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 3
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 4
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 5
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 6
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 7
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 8
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 9
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 10
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 11
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 12
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
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/level-shifters-switches/always-on-logic/theory-deep-dive: 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
Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?
Evidence capsule
LP EVIDENCE CAPSULE 13
PATH: low-power/level-shifters-switches/always-on-logic/theory-deep-dive
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>Theory reinforcement
Cross-voltage communication and domain gating are physical + logical co-design problems.