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

January 2026

• New Innovative Way to Functionally Verify Heterogeneous 2D/3D Package Connectivity

  Formal Verification Jan 16, 2026 Jin Hou pdf

• 

  New Innovative Way to Functionally Verify Heterogeneous 2D/3D Package Connectivity

  Formal Verification Jan 16, 2026 Jin Hou Paper

May 2025

• SLEC System Flow: Leveraging Formal in Math Primitive Verification Closure

  Formal Verification May 01, 2025 Abhiram Dronavalli - Microsoft pdf

July 2020

• 

  Formal is the New Normal - Deploy These FV Apps in Your Next Project

  Formal Verification Jul 19, 2020 Ajeetha Kumari, Hemamalini Sundaram, And Darshan Ballari, Verifworks, Llc And Cvc Pvt., Ltd. Article