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

FPGA Designs (51)

Adoption Trends (32)

FPGA (23)

Non-Trivial Bug Escapes (20)

Safety Critical (20)

Project Time (19)

Asynchronous Clock (17)

2022 Study (14)

Formal Verification (14)

Testbench (14)

2020 Study (13)

Assertions (13)

Functional Simulation (13)

Embedded Processor Cores (11)

2018 Study (10)

Verification Effort (10)

2014 Study (9)

2016 Study (9)

Functional Safety (9)

Verification Effectiveness (9)

Design Complexity (8)

Aerospace (7)

Design Completion (7)

Mil/Aero (7)

RTL (7)

Code Coverage (6)

Equivalence Checking (6)

Methodology (6)

Simulation (6)

Verification Process (6)

Metrics (5)

Verification Horizons (5)

Bias (4)

Coverage Analysis (4)

Coverage Closure (4)

Debug (4)

Re-spins (4)

Root Cause (4)

Stimulus (4)

Verification Efficiency (4)

ASIC (3)

Coverage (3)

FSM (3)

Functional Coverage (3)

Interfaces (3)

MARLUG 2024 (3)

MARLUG 2025 (3)

Regression (3)

Retargeting Flow (3)

Reuse (3)

SoC (3)

Test Planning (3)

Verification Planning (3)

Verification Practice (3)

Bi-Directional (2)

Bug Hunting (2)

Constraints (2)

Control Logic (2)

Corner-case Bugs (2)

DO-254 (2)

Emulation (2)

Equivalent RTL (2)

First-Silicon Success (2)

Formal Models (2)

Formal Verification Apps (2)

Gate-Level (2)

High Speed (2)

Metrics-Driven (2)

Netlist (2)

Parallel Simulation (2)

Performance (2)

Protocol Violations (2)

Questa One (2)

RTL Model (2)

Resynthesized (2)

SFV (2)

Safety (2)

Stimulus Free Verification (2)

System Level (2)

Transactions (2)

Verification Maturity (2)

Waveform (2)

3DIC (1)

AI/ML (1)

Acceleration (1)

Advance Your Verification Methodology (1)

Aerospace and Defense Verification Tech Day (1)

Analytics (1)

Assertion-Based Verification (1)

Bitstream (1)

Chiplets (1)

Co-Simulation (1)

Code Generator (1)

Compliance (1)

Configuration (1)

Coverage Achievement (1)

Coverage Models (1)

Covergroup (1)

DSP (1)

DUT-TB (1)

DVCon (1)

Defect Coverage (1)

Design Optimization (1)

Encapsulation (1)

FPGA Prototyping (1)

Formal Coverage (1)

Functional Verification (1)

GOMACTech (1)

Gate-Level Simulation (1)

Guidelines (1)

HDL Domain (1)

HW/SW Verification (1)

Hardware-Assisted Verification (1)

IP Integration (1)

ISO 26262 (1)

June 2012 - Volume 8 Issue 2 (1)

June 2014 - Volume 10 Issue 2 (1)

June 2016 - Volume 12 Issue 2 (1)

Makefile (1)

Matlab (1)

Measurement (1)

Memory (1)

November 2018 - Volume 14 Issue 3 (1)

November 2020 - Volume 16 Issue 3 (1)

Portability (1)

Protocol (1)

Qrun (1)

RAM (1)

Requirements (1)

Requirements Traceability (1)

SLEC (1)

Safety Verification (1)

Security Verification (1)

Siemens EDA (1)

Simulation Coverage (1)

Stimulus Generation (1)

SystemVerilog (1)

TLM FIFOS (1)

Test Efficiency (1)

Test Generation (1)

Testplan (1)

Tests (1)

UVM (1)

VA Live 2019 - Westford (1)

VIQ (1)

Verification Closure (1)

Verification Complete (1)

Verification Environment (1)

Verification Management (1)

Verification Productivity (1)

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 - 112 results

Filters

September 2012

Improving FPGA Debugging with Assertions

August 2012

FPGA Verification Capabilities

Introduction from Harry Foster

Overview and Welcome

Code Coverage

Test Planning

Applied Assertions

Transactions

Self-Checking Testbenches

Automatic Stimulus

Functional Coverage

June 2012

Four Best Practices for Prototyping MATLAB and Simulink Algorithms on FPGAs