The Fundamental Power States For UPF Modeling And Power Aware Verification

A look at validation procedures and how they can be used as a foundation for static and dynamic verification methodologies.


The IEEE 1801-2015 specifies the new semantics of power states through the ‘add_power_state’ UPF command. This new construct primarily allows incremental refinement of power states for power domains and its associated supply sets. The refinement concepts are actually originated from the fundamental conceptual set of power states termed as indefinite, definite, and deferred power states. In practice we perceived the trio conceptual set and extended them as foundation of static and dynamic verification methodologies. Our approach shows validation procedures for UPF strategies. With design examples and case studies we also demonstrated how to achieve power aware verification closure with state and transition coverage, as well state cross coverage of power domains, supply sets, etc. in more flexible and controllable ways. Eventually the power state concept realization also allows us to probe further into the power management components for design and IP integration in different levels of designs, from RTL to PG-netlist.

To read more, click here.