osmosis 2023
osmosis is about sharing success in using formal techniques to solve verification challenges, and networking with our R&D experts and other attendees.
-
osmosis 2023 Header
-
osmosis 2023 Overview
osmosis 2023 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 2023 Presentations
-
Session Presentations
Session Title
Presenter
Videos
Slides
Interviews
Limits of verification: learnings from catastrophic system failures Philippe Luc - Codasip MP4 PDF - Spectres, Meltdowns, Zombies, Orcs: How formal methods could banish the ghosts that haunt our computing systems Prof. Wolfgang Kunz - RPTU MP4 PDF MP4 How to sign-off cryptographic hash implementations with generated formal assertions Tobias Ludwig - Lubis EDA MP4 PDF - Debugging enhancements for formal property checking Holger Busch - Infineon MP4 PDF - Reducing formal verification runtime in SystemC utilizing modular interface Hideki Kazama - Sony MP4 PDF - Hierarchical verification flow for FPGA design projects Mamma Benmoussa Garsault - Arcys MP4 PDF MP4 Safeguarding datapath integrity and compliance with formal security verification Keerthi Devarajegowda - Siemens - PDF - Combined formal and functional verification approach for digitally controlled analog frontend Mihajlo Katona - Veriest - PDF MP4 - Martin Gut - Bosch Sensortec - - MP4 - Dusica Glisic - Veriest - - MP4 - Satinder Paul Singh - CGNT - - MP4
-