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
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 System Flow: Leveraging Formal in Math Primitive Verification Closure Abhiram Dronavalli - Microsoft - PDF 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
-