power intent upf cpf

**Power Intent Specification (UPF/CPF)** is the **formal design methodology that captures a chip's power management architecture — including voltage domains, power states, isolation strategies, retention policies, and level shifting requirements — in a standardized format (IEEE 1801 UPF or Cadence CPF) that is used by all EDA tools from RTL simulation through physical implementation to ensure correct multi-voltage, power-gating, and dynamic voltage-frequency scaling behavior**. **Why Power Intent Is Separate from RTL** Power management cross-cuts the entire design. A single signal may traverse three voltage domains, requiring level shifters at each crossing. A power domain may have four operating states (full-on, retention, clock-gated, power-off). Embedding these details in RTL would make the code unreadable and unverifiable. UPF captures power intent declaratively, orthogonal to functional RTL. **Key UPF Concepts** - **Supply Network**: `create_supply_net`, `create_supply_set`, `connect_supply_net` define the power and ground rails feeding each domain. Multiple supply sets model multi-rail designs (e.g., core at 0.75V, I/O at 1.8V, SRAM at 0.8V). - **Power Domain**: `create_power_domain` groups design elements sharing a common power supply. The top-level domain is always on; child domains can be switched. - **Power State Table**: `add_power_state` defines legal combinations of supply voltages across all domains. The PST enumerates states like RUN (all on), STANDBY (cores off, always-on domain active), SLEEP (only RTC domain powered). - **Isolation Strategy**: `set_isolation` specifies that outputs from a powered-off domain must be clamped (to 0, 1, or a latch value) to prevent floating signals from corrupting always-on logic. Isolation cells are inserted at domain boundaries. - **Retention Strategy**: `set_retention` specifies which registers must retain their state when the domain is powered off. Retention flip-flops (balloon latches or separate supply cells) save register contents to the always-on supply during power-down. - **Level Shifters**: `set_level_shifter` specifies voltage translation at crossings between domains operating at different voltages. Required for both signal integrity and reliability. **Verification Flow** - **UPF-Aware Simulation**: Tools like Synopsys VCS and Cadence Xcelium simulate power state transitions, verifying isolation, retention save/restore, and level shifter insertion correctness at RTL. - **Static Verification**: Cadence Conformal Low Power and Synopsys MVRC check UPF consistency, completeness (all crossings covered), and correctness against design rules. - **Physical Verification**: Tools verify that physical implementation matches UPF intent — correct cells inserted, supply connections correct, power switches properly sized. **Power Intent Specification is the contract between the architect's power vision and the implementation tools** — ensuring that a chip's multi-voltage, power-gating, and retention behavior is correct by construction across the entire design flow from RTL to GDSII.