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

October 2025

• Combining Performance and Formal Security Guarantees for Hardware Accelerators

  Formal Verification Oct 16, 2025 Lucas Deutschmann - Rptu University Kaiserslautern-Landau pdf

• 

  osmosis Europe 2025

  Formal Verification Oct 16, 2025 Nicolae Tusinschi Conference

December 2022

• Saranyu Chattopadhyay - Stanford University

  Formal Verification Dec 08, 2022 Saranyu Chattopadhyay mp4

• Accelerator Quick Error Detection: Verification of Hardware Accelerators

  Formal Verification Dec 08, 2022 Saranyu Chattopadhyay pdf

• Accelerator Quick Error Detection: Verification of Hardware Accelerators

  Formal Verification Dec 08, 2022 Saranyu Chattopadhyay mp4

July 2021

• 

  Hardware-Accelerated & Software-Driven Verification

  Acceleration Jul 29, 2021 Ajay Sharma Webinar

May 2020

• 

  Market-Driven Trends in Hardware Emulation

  Acceleration May 21, 2020 Vijay Chobisa Webinar

July 2019

• Emulation to Prototype - What’s Eating Your Productivity?

  Acceleration Jul 11, 2019 pdf

June 2017

• 

  Emulation - A Job Management Strategy to Maximize Use

  Acceleration Jun 28, 2017 Vijay Chobisa Article

November 2016

• 

  24x7 Productivity: Veloce® Enterprise Server App Does the Job

  Acceleration Nov 07, 2016 Vijay Chobisa Article

November 2015

• 

  Hardware Emulation: Three Decades of Evolution - Part III

  Acceleration Nov 01, 2015 Dr. Lauro Rizzatti - Rizzatti Llc Article

June 2015

• 

  Hardware Emulation: Three Decades of Evolution – Part II

  Acceleration Jun 06, 2015 Dr. Lauro Rizzatti - Rizzatti Llc Article