Sign In
Forgot Password?
Sign In | | Create Account

Questa® Power Aware Simulator

Verify active power management

The Questa® Power Aware Simulator enables design teams to verify the architecture and behavior of active power management planned for the implementation, but starting much earlier in the design process.

Verification of active power management at the RTL stage makes it possible to explore alternative power management approaches long before implementation begins, to achieve the greatest power reduction at the least cost.

Verification of active power management in the post-synthesis Gate-Level netlist stages makes it possible to ensure that synthesis and manual transformations have correctly preserved the active power management architecture and its behavior.

Power management has become a critical aspect of electronic systems design. Driven by customer demand for more functionality and longer battery life in portable electronics, and enabled by advances... View Video

Overview

How Questa Power Aware Simulation Works

Given a description of power intent expressed in the industry-standard Unified Power Format (UPF), the Questa Power Aware Simulator

  • partitions the HDL design into power domains,
  • adds isolation, level-shifting, and retention cells, and
  • integrates the power supply network into the design to power each domain

The augmented HDL design can then be simulated with full control over the power state of each domain, for accurate modeling of the effects of active power management on the design’s functionality.

Automatic Detection of Power Management Errors

The Questa Power Aware Simulator 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 such as missing isolation or level-shifting cells. Dynamic checks during simulation identify behavioral issues such as incorrect control sequencing for powering up or powering down portions of the design. All checks can be enabled or disabled independently to configure the appropriate set of checks for a given design.

Automatic power management error checks include checks such as the following:

  • Level shifters and Isolation cells present where needed
  • Retention registers saved before power off
  • Latch enable is correctly set when retention occurs
  • Clock is disabled during power down
  • Isolation is enabled during power down
  • Inputs do not toggle during power down
  • Retention/Isolation power is on and stable during power down
  • Primary power is on and stable during power up
  • Non-retention registers are reset at power up
  • Power control signals do not glitch
  • Dynamic voltage changes are correctly mediated by level shifters

Visualization and Debugging of the Power Management Architecture

The effects of active power management on the design’s structure and behavior are reflected in the waveform view, the schematic view, and the power state/transition view. The waveform view highlights signals that have been corrupted due to powering down, as well as signals that have been isolated to avoid corruption. The schematic view color codes design elements to indicate the power domain to which they belong. The power state/transition view presents the current power states of the system and each of its power domains, and the most recent power state transition, in both an FSM-like form and a tabular form similar to a UPF power state table.

Power State/Transition Coverage Data Collection

Power states and transitions are recorded in Mentor’s Unified Coverage DataBase (UCDB) for integration with verification planning and management. This enables incorporation of power aware simulation goals into the verification plan so they can be tracked for coverage closure.

Verification Horizons Blog

An online forum to provide updates on concepts, values, standards, methodologies and examples to assist with the understanding of what advanced functional verification technologies can do and how to most effectively apply them.

Accellera Approves UVM 1.2

Accellera has announced the completion of a multi-year effort to update its latest edition of the Universal Verification Methodology (UVM).  In completing this effort, the UVM 1.2 Class Reference Document... View Blog Post

Getting More Value from your Stimulus Constraints

Verification engineers put lots of effort into writing and tuning constraints for random stimulus. It’s critical that the constraints correctly express the valid relationships between the stimulus variables.... View Blog Post

 
Online Chat