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

April 2025

• Securing your FPGA Design from RTL through to the Bitstream

  FPGA Verification Apr 23, 2025 Keerthi Devraj Webinar

March 2025

• GOMACTech 2025 Preview: FPGA Safety and Security Policy Compliance via HDL-to-Bitstream Equivalence Checking

  FPGA Verification Mar 04, 2025 Joe Hupcey link

February 2025

• Improving FPGA Safety and Security Compliance: FPGA Equivalence Checking from RTL to the Bitstream

  FPGA Verification Feb 19, 2025 Kevin Urish pdf

• Improving FPGA Safety and Security Compliance: FPGA Equivalence Checking from RTL to the Bitstream

  FPGA Verification Feb 19, 2025 Kevin Urish Webinar

September 2024

• Challenges of Multiple FPGA Tool Flow Verification

  FPGA Verification Sep 18, 2024 Paul Bobko - Westinghouse Electric pdf

• Questa Equivalent FPGA: Assuring FPGA Integrity

  Formal Verification Sep 18, 2024 Martin Rowe pdf

• MARLUG - 2024

  FPGA Verification Sep 18, 2024 Austin Mam Seminar

April 2024

• Optimizing FPGA Equivalence Checking for A&D Designs

  FPGA Verification Apr 24, 2024 Kevin Urish pdf

February 2024

• Functional Verification Workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman Webinar

• Functional Verification workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman pdf

June 2023

• OneSpin EC-FPGA: Evolution and Updates

  Formal Verification Jun 14, 2023 Kevin Urish pdf

February 2023

• A Formal-based Approach for Efficient RISC-V Processor Verification

  Formal Verification Feb 24, 2023 Laurent Arditi, Paul Sargent, Thomas Aird, Lauranne Choquin - Codasip Article

September 2022

• Overcoming Today’s Verification, Supply Chain, and Legacy Technology Challenges Associated with FPGA-based Designs

  Formal Verification Sep 30, 2022 Martin Rowe Webinar

February 2022

• Equivalence Checking for FPGA

  Formal Verification Feb 25, 2022 Martin Rowe Webinar

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 Bug Fix / ECO

  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

March 2021

• A Formal Verification Technique for Complex Arithmetic Hardware

  Formal Verification Mar 03, 2021 Dr. Sam Elliott - Imagination Technologies Article

March 2020

• Using Questa SLEC to Speed Up Verification of Multiple HDL Outputs

  Formal Verification Mar 01, 2020 Tomáš Vaňák - Codasip Article

September 2019

• Questa SLEC Fact Sheet

  Formal Verification Sep 30, 2019 Nicolae Tusinschi link

March 2019

• Debugging Inconclusive Assertions and a Case Study

  Formal Verification Mar 28, 2019 Jin Hou Article

June 2018

• It’s Not My Fault! How to Run a Better Fault Campaign Using Formal

  Functional Safety Jun 29, 2018 Doug Smith Article