Power intent
Keep electrical truth beside functional intent.
RTL describes logic behavior. IEEE 1801 UPF adds supply networks, power domains, switch control, isolation, retention, level shifting, and legal power states.
| State | Supply | Clock | Isolation | Retention | Traffic |
|---|---|---|---|---|---|
| ACTIVE | ON | RUN | OPEN | TRACK | LEGAL |
| IDLE | ON | GATED | OPEN | TRACK | BLOCKED |
| RETENTION | RET | OFF | CLAMP | SAVED | BLOCKED |
| OFF | OFF | OFF | CLAMP | SELECTED HOLD | BLOCKED |
IsolationClamp outputs from a domain that may be off before its supply becomes invalid. Choose clamp values from the receiving protocol's safe state.
Level shiftingInsert direction-appropriate cells when voltage domains differ. Cell placement and supply ownership are implementation decisions encoded by power intent.
RetentionRetain only state whose restoration cost justifies the always-on leakage and sequencing complexity. Reset and retained state need an explicit precedence rule. This worked subsystem holds mode_reg and calibration_epoch in OFF; a cold-off policy may discard them only if wake skips restore and reinitializes that state instead.
Safe sleep and wake
Quiesce first. Reconnect last.
Power transitions are distributed protocols. Every step has an owner, prerequisite, acknowledgment, timeout, and proof that accepted work is not lost.
Compute accepts samples and may create new work.
Why nowAll dependencies are valid: supply, PLL, clock, reset, isolation, and domain-ready.
Prove itTraffic is legal only while domain_ready is true.
