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
Limits of verification: learnings from catastrophic system failures Philippe Luc - Codasip MP4 - Spectres, Meltdowns, Zombies, Orcs: How formal methods could banish the ghosts that haunt our computing systems Prof. Wolfgang Kunz - RPTU MP4 MP4 How to sign-off cryptographic hash implementations with generated formal assertions Tobias Ludwig - Lubis EDA MP4 - Debugging enhancements for formal property checking Holger Busch - Infineon MP4 - Reducing formal verification runtime in SystemC utilizing modular interface Hideki Kazama - Sony MP4 - Hierarchical verification flow for FPGA design projects Mamma Benmoussa Garsault - Arcys MP4 MP4 Safeguarding datapath integrity and compliance with formal security verification Keerthi Devarajegowda - Siemens - - Combined formal and functional verification approach for digitally controlled analog frontend Mihajlo Katona - Veriest - MP4 Formal technology update and roadmap Chris Giles, Siemens - - - Martin Gut - Bosch Sensortec - - MP4 - Dusica Glisic - Veriest - - MP4 - Satinder Paul Singh - CGNT - - MP4