The Questa Power-Aware Simulator enables design teams to verify the active power management planned for implementation, but starting much earlier in the design process. Static checks during UPF compilation locate architectural issues, while dynamic checks during simulation find behavioral issues.
DYNAMIC & STATIC CHECKING
Automatic Detection of Power Management Errors
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.
INTEGRATION WITH VERIFICATION
Power State/Transition Coverage Data Collection
Power states and transitions are recorded in the Unified Coverage DataBase (UCDB) for integration with verification planning and management. This data enables incorporation of power-aware simulation goals into the verification plan so they can be tracked for coverage closure.