1. osmosis 2025 Header

    osmosis 2025
  2. 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.

  3. osmosis 2025 Presentations

    1. 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