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

February 2025

• Enhancing Productivity in Simulation-Based Functional Verification

  Simulation Feb 06, 2025 Moses Satyasekaran pdf

May 2024

• Beyond Speed: Unlocking Productivity in Simulation and Debug

  Simulation May 21, 2024 Moses Satyasekaran pdf

• Improving Simulation Performance Utilizing the Visualizer Profiler

  Debug May 07, 2024 George Lloyd - Arm Seminar

June 2023

• Formal Model Checking Made Easy

  Formal Verification Jun 14, 2023 Martin Rowe pdf

September 2021

• Improving Initial RTL Quality

  Questa Design Solutions Sep 15, 2021 Chris Giles Webinar

• Improving Initial RTL Quality | Japanese

  Questa Design Solutions Sep 15, 2021 Chris Giles pdf

• Improving Initial RTL Quality

  Questa Design Solutions Sep 15, 2021 Chris Giles pdf

July 2021

• Sequential Logic Equivalence Checking

  Formal Verification Jul 06, 2021 Jin Hou Track

• SLEC Introduction

  Formal Verification Jul 06, 2021 Jin Hou Session

• SLEC for Design Optimization

  Formal Verification Jul 06, 2021 Jin Hou Session

• SLEC for Low Power Clock Gating

  Formal Verification Jul 06, 2021 Jin Hou Session

• SLEC for Safety Mechanism

  Formal Verification Jul 06, 2021 Jin Hou Session

September 2019

• Questa SLEC Fact Sheet

  Formal Verification Sep 30, 2019 Nicolae Tusinschi link

July 2019

• Selecting the Most Productive SoC Design Verification Techniques

  Planning, Measurement and Analysis Jul 12, 2019 pdf

June 2015

• Intelligent Testbench Automation with UVM and Questa

  Simulation Jun 06, 2015 Marcela Simkova, Neil Hand - Codasip Article