Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

Supply Set (6)

Retention (5)

Cross Coverage (4)

Power Efficiency (4)

Power Optimization (4)

Questa One (4)

State Transitions (4)

Verification Horizons (4)

Supply Network (3)

Adaptive (2)

Bins (2)

Boundary Strategies (2)

Coverage (2)

Coverage Metrics (2)

DVIF (2)

Dynamic Checks (2)

Dynamic Power (2)

Hard / Soft Macros (2)

Inheritance (2)

Macro Verification (2)

Macros (2)

Power Profiling (2)

State Preservation (2)

State Transition (2)

Terminal Boundary (2)

Test Plan (2)

UCIS (2)

UPF 2.0 (2)

UPF 3.0 (2)

UPF 4.0 (2)

Verification Closure (2)

Verification Planning (2)

Accellera (1)

Constraints (1)

Domain Boundary (1)

June 2017 - Volume 13 Issue 2 (1)

Level-shifter (1)

Liberty Syntax (1)

March 2015 - Volume 11 Issue 1 (1)

Model Library (1)

November 2016 - Volume 12 Issue 3 (1)

October 2012 - Volume 8 Issue 3 (1)

Power Gating (1)

Specification (1)

Successive Refinement (1)

FPGA Webinar

Wednesday, Jul 22nd-8:00 AM PDT

Full Spectrum Equivalence Checking: From C++ to the FPGA Bitstream

BUGGED OUT Podcast

Episode #4: Harry Foster talks with Vladislav Palfy about coverage closure.

DVCon Keynote

Beyond Bigger Designs: Rethinking Verification for the Era of Convergence

DVCon Workshop

Agentic AI for RTL Signoff: Gen AI for Chip Design Flows using Questa Toolkit

New White Papers

Agentic AI, Avery VIP, Coverage, Formal Verification, Functional Safety, UPF and More!

Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

Search Results - 14 results

Filters

May 2025

A Guide to UPF-based Power Intent Verification with Questa One

A Guide to UPF-based Power Intent Verification with Questa One

Intent Meets Implementation: Verifying Complex Power Strategies with UPF 4.0

Intent Meets Implementation: Verifying Complex Power Strategies with UPF 4.0

March 2020

If You Don’t Know, Now You Know: Terminal Boundary Dictates Power Aware Macros

If You Don’t Know, Now You Know: Terminal Boundary Dictates Power Aware Macros

February 2018

Low Power Coverage: The Missing Piece in Dynamic Simulation

Low Power Coverage: The Missing Piece in Dynamic Simulation

June 2017

Understanding the UPF Power Domain and Domain Boundary

December 2016

The Fundamental Power States for UPF Modeling and Power Aware Verification

The Fundamental Power States for UPF Modeling and Power Aware Verification

November 2016

Power Aware Libraries: Standardization and Requirements for Questa Power Aware

March 2015

Successive Refinement: A Methodology for Incremental Specification of Power Intent

October 2012

Evolution of UPF: Getting Better All the Time