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
Videos
Slides
Ask the Experts Panel Chris Giles - Siemens EDA MP4 PDF Ask the Experts Panel Panelist Harry Foster - Siemens EDA - PDF Ask the Experts Panel Panelist Jeremy Levitt - Siemens EDA - PDF Ask the Experts Panel Panelist Abhishek Gupta - Rambus - PDF Ask the Experts Panel Panelist Nguyen Dinh - Microsoft - PDF Rapid Re-Targeting of Formal Connectivity Verification of AI-Focused FPGA-Centric Design Benjamin Ting, Linh Nguyen - Microsoft MP4 PDF Tackling Formal Verification of Large Designs using a Modular Approach Ratish Punnoose - Sandia National Laboratories MP4 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 MP4 PDF Our Journey in Deploying Formal Register Checks with Questa Check Register Thomas Thatcher - Rambus MP4 PDF
-