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

February 2026

• Unlock Efficiency: Next-Gen Verification with Questa Check Register & Questa Check Connect

  Formal Verification Feb 26, 2026 Bobana Brzacki pdf

• 

  Unlock Efficiency: Next-Gen Verification with Questa Check Register & Questa Check Connect

  Formal Verification Feb 26, 2026 Bobana Brzacki Webinar

• 

  Future-Proof Your Designs: The Power of Verify Property in Digital Verification

  Formal Verification Feb 12, 2026 Bobana Brzacki Webinar

• Future-Proof Your Designs: The Power of Verify Property in Digital Verification

  Formal Verification Feb 12, 2026 Bobana Brzacki pdf

February 2025

• 

  IC/ASIC Functional Verification Trend Report - 2024

  Planning, Measurement and Analysis Feb 17, 2025 Harry Foster Paper

• IC/ASIC Functional Verification Trend Report - 2024

  Planning, Measurement and Analysis Feb 17, 2025 Harry Foster pdf

December 2018

• 

  How to Unearth Deep Bugs Faster and Cheaper Using Formal Bug Hunting Techniques

  Formal Verification Dec 23, 2018 Mark Eslinger Webinar