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

February 2025

• Breaking the Bottleneck: A Smarter Approach to Semiconductor Verification

  Planning, Measurement and Analysis Feb 05, 2025 Harry Foster link

• FPU Verification with an Alternative to C-reference Model

  Formal Verification Feb 05, 2025 Gerardo Nahum Webinar

• FPU Verification with an Alternative to C-reference Model

  Formal Verification Feb 05, 2025 Gerardo Nahum pdf

January 2025

• Breaking the Bottleneck: Overcoming the Verification Productivity Gap 2.0

  Planning, Measurement and Analysis Jan 31, 2025 Harry Foster pdf

• Breaking the Bottleneck: Overcoming the Verification Productivity Gap 2.0

  Planning, Measurement and Analysis Jan 31, 2025 Harry Foster Paper

January 2023

• Verification Data Analytics with Machine Learning

  Machine Learning Jan 25, 2023 Dan Yu Paper

• Verification Data Analytics with Machine Learning

  Machine Learning Jan 25, 2023 Dan Yu pdf