osmosis 2025
The annual osmosis event is a dynamic platform for exchanging successes achieved through applying formal techniques to overcome verification challenges. It offers a unique opportunity to connect and engage with our accomplished research and development (R&D) experts and participants.
The conversations that follow may help you and others improve formal-based verification solutions.

-
osmosis 2025 Header
-
osmosis 2025 Overview
osmosis 2025 is a dynamic platform for exchanging successes achieved through applying formal techniques to overcome verification challenges. It offers a unique opportunity to connect and engage with our accomplished research and development (R&D) experts and participants.
-
osmosis 2025 Presentations
-
Session Presentations
Session Title
Presenter
Slides
Ask the Experts Panel Panelists - PDF Ask the Experts Panel Harry Foster - Siemens EDA PDF Ask the Experts Panel Jeremy Levitt - Siemens EDA PDF Ask the Experts Panel Abhishek Gupta - Rambus PDF Ask the Experts Panel Nguyen Dinh - Microsoft PDF Rapid Re-Targeting of Formal Connectivity Verification of AI-Focused FPGA-Centric Design Benjamin Ting, Linh Nguyen - Microsoft PDF Tackling Formal Verification of Large Designs using a Modular Approach Ratish Punnoose - Sandia National Laboratories PDF SLEC Flow: Leveraging Formal in Math Primitive Verification Closure Abhiram Dronavalli, Sudha Raman - Microsoft - Automated Trust and Assurance for ASIC and FPGA Designs: Mitigating Security Risks with Formal Verification Mitchell Poplingher - Lockheed Martin PDF Our Journey in Deploying Formal Register Checks with Questa Check Register Thomas Thatcher - Rambus PDF
-