How do you specify and verify power intent using UPF?

UPF (Unified Power Format) captures power intent in a technology-independent way. Key constructs: create_power_domain (define voltage domains), create_supply_port/net (power connections), set_isolation (floating output prevention), set_retention (state saving), add_power_state (operating modes), and create_pst (power state table). Verification: Power-aware simulation checks isolation/retention behavior, Formal verification proves power intent correctness, Physical implementation inserts special cells. Flow: RTL + UPF -> power-aware synthesis -> implementation -> signoff. UPF enables separation of power concerns from RTL, portability across tools, and consistent power verification.