1. Completeness of power-intent (i.e. CPF) written.
Here you identifies, power-domains which are not specified with respective strategies.
power-domains where false and redundant strategies have been specified.
Correctness of various strategies specified for
isolation
level-shifting
retention
Defining correct power-switches
Specifying correct global-connections those are needed.
2. Once this is done, than try identify and checks the correctness of different power-cells
placed in the design as per various strategies.
here it is checked these cells are powered with correct supply as specified in
CPF
checking various control-signals being reaching in expected manner.
3. Once power-logic is being checked, than supply related checks are performed which
identifies any discrepancy found between CPF and design.
Regards
NitinT