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.
-
osmosis 2022 Header
-
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.
-
osmosis 2022 Presentations
-
Session Presentations
Session Title
Presenter
Videos
Slides
Interviews
The State of Functional Verification: Crisis or Opportunity? Harry Foster - Siemens EDA MP4 PDF MP4 Make Formal Simple and Easy-to-Use with Generated Assertion IP Tobias Ludwig - Lubis EDA MP4 PDF - The X-factors of X-checking Kanthi Palaniappan, Neil Rattray - Siemens MP4 PDF - Formal Coverage: An Approach to Analyze Property Holes Paritosh Kumar Sinha, Aishwarya Sridhar - Infineon, Pallavi Atha - Siemens MP4 PDF - How Formal Lights Up Your RISC-V Verification Avenue Philippe Luc - Codasip MP4 PDF MP4 Accelerator Quick Error Detection: Verification of Hardware Accelerators Saranyu Chattopadhyay - Stanford University MP4 PDF MP4 Crossing the RISC-V Customization Barrier with Formal Pascal Gouédo - Dolphin Design, Salaheddin Hetalani - Siemens MP4 PDF - Exhaustive Trust & Security Verification by Leveraging Emerging Standards John Hallman - Siemens MP4 PDF - A Novel Approach to Formal FW/HW Co-verification Dr. Djones Lettnin - Infineon, Dr. Joerg Bormann - Siemens MP4 PDF - UPEC: Side Channel Detection with Formal Verification Keerthi Devraj, Joerg Bormann - Siemens MP4 PDF - EC-FPGA Updates with an Introduction to Instance Mapping Kevin Urish - Siemens MP4 PDF - Formal Verification of Security Properties Ratish Punnoose - Sandia National Laboratories MP4 PDF - - Holger Busch - Infineon - - MP4 - Katharina Ceesay-Seitz - ETH Zurich - - MP4
-