Dynamic and static checking
Automatically detects power management errors in both the architecture and the behavior of the power management system. Static checks during compilation of the UPF identify architectural issues, while dynamic checks during simulation identify behavioral issues.