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

October 2025

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon mp4

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon pdf

• Combining Performance and Formal Security Guarantees for Hardware Accelerators

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

• Combining Performance and Formal Security Guarantees for Hardware Accelerators

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

• Ground Truth in the Age of AI: Abstract Models as the Anchor of Verification

  Machine Learning Oct 16, 2025 Tobias Ludwig - Lubis Eda pdf

• Ground Truth in the Age of AI: Abstract Models as the Anchor of Verification

  Machine Learning Oct 16, 2025 Tobias Ludwig - Lubis Eda mp4

• Adaptable FWHW Formal Co-Verification of SoC RISC-V Components

  Formal Verification Oct 16, 2025 Bryan Olmos - Infineon mp4

• Adaptable FWHW Formal Co-Verification of SoC RISC-V Components

  Formal Verification Oct 16, 2025 Bryan Olmos - Infineon pdf

• Formally Verifying Security Properties of CHERI Hardware and Software

  Formal Verification Oct 16, 2025 Thomas Bauereiss - University Of Cambridge mp3

• Formally Verifying Security Properties of CHERI Hardware and Software

  Formal Verification Oct 16, 2025 Thomas Bauereiss - University Of Cambridge pdf

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos pdf

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos mp4

• Stimulus Free Verification of a Clock Bridge Using Static and Formal

  Formal Verification Oct 16, 2025 Kanthi Palaniappan - Nokia mp4

• Stimulus Free Verification of a Clock Bridge Using Static and Formal

  Formal Verification Oct 16, 2025 Kanthi Palaniappan - Nokia pdf

• 

  osmosis Europe 2025

  Formal Verification Oct 16, 2025 Nicolae Tusinschi Conference