power_verif_noninstr

This goal checks the multiple voltage domain design for correctness and completeness of the power intent files. To check that the power intent has been applied correctly, look at the LP_DECOMPILE_CONSTRAINTS report first. Then look for the error messages for the UPF_lowpower*/CPF_lowpower* rules and review messages for each rule. Then review the messages for LPLSH* and LPISO* rules for the completeness/correctness for strategy specified for level shifting and isolation respectively.