Upcoming RDC Assist Webinar

Questa RDC Assist – Improving designer productivity and enabling faster RDC verification closure with machine learning

Wednesday, May 22nd | 8:00 AM US/Pacific

Learn more and register.

SIEMENS Verification Academy

Osmosis 2022

Osmosis is about sharing success in using formal techniques to solve verification challenges, and networking with our R&D experts and other attendees.

Nicolae Tusinschi

  1. Osmosis 2022 Header

    Osmosis 2022

  2. Osmosis 2022 Overview

    Osmosis 2022 is about sharing success in using formal techniques to solve verification challenges, and networking with our R&D experts and other attendees. As such, we have put together the following conference program covering a wide range of formal verification topics – along with delivering sneak-previews of our future product roadmaps.

  3. Osmosis 2022 Presentations

    1. Presentations

  4. Osmosis 2022 Interviews

    1. Osmosis Presenter Interviews

      • Harry Foster - Siemens EDA

        Formal Verification Dec 08, 2022 Harry Foster mp4
        Interview with Harry Foster of Siemens EDA about the surprising results from the 2022 Wilson Research Study and Osmosis' presentations.

      • Holger Busch - Infineon

        Formal Verification Dec 08, 2022 Holger Busch - Infineon mp4
        Interview with Holger Busch of Infineon about the origins of formal and how the presentations at Osmosis show how far formal verification has come.

      • Katharina Ceesay-Seitz - ETH Zurich

        Formal Verification Dec 08, 2022 Katharina Ceesay-Seitz mp4
        Interview with Katharina Ceesay-Seitz of ETH Zurich about the value of attending Osmosis.

      • Philippe Luc - Codasip

        Formal Verification Dec 08, 2022 Philippe Luc mp4
        Interview with Philippe Luc of Codasip about his presentation on How formal lights up your RISC-V verification avenue.

      • Saranyu Chattopadhyay - Stanford University

        Formal Verification Dec 08, 2022 Saranyu Chattopadhyay mp4
        Interview with Saranyu Chattopadhyay of Stanford University about his presentation on Accelerator quick error detection: Verification of hardware accelerators.