Formal verification live event
osmosis 2024
Thursday, Oct. 17, 2024
Holiday Inn City Center
Munich, Germany
Elevate your success with osmosis 2024
The annual osmosis event 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. 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 roadmap. The conversations that follow may help you and others improve formal-based verification solutions.
Thanks for joining us!!!
The presentations will be posted on Verification Academy shortly.
Conference program*
Time | Topic | Presenter |
|---|---|---|
08:00 - 09:00 | Registration | < All > |
09:00 - 09:10 | Welcome and introduction | |
09:10 - 09:40 | Achieving efficient verification combining simulation and formal | Ilia Barkov - Semidynamics |
09:40 - 10:10 | Taming formal with intelligent automation? | Tobias Ludwig - Lubis EDA |
10:10 - 10:40 | Empowering issue hunting mode verification on RISC-V architectures | Teo Bernier - Thales Group |
10:40 - 11:00 | Coffee Break | |
11:00 - 11:30 | Formal methodology as a powerful approach for RISC-V customization verification | Adrian Javor - Codasip |
11:30 - 12:00 | VeriCHERI: exhaustive formal security verification of CHERI at the RTL | Johannes Muller - Rheinland-Pfälzische Technische Universität |
12:00 - 12:30 | Enverite PV-Bit: bitstream verification for FPGA design assurance | Jonathan Graf - Graf Research |
12:30 - 14:00 | Lunch | < All > |
14:00 - 14:20 | Comprehensive flow for ensuring integrity and security through formal verification | Keerthi Devraj - Siemens |
14:20 - 14:50 | Designing secure and performant out-of-order processors enabled by formal verification | Mohammad R. Faddideh - Stanford University |
14:50 - 15:10 | Automated coverage exclusions with increase coverage | Damian Savage - Arm |
15:10 - 15:30 | Analyze Architecture for next level formal unreachability analysis | Ahmed Soliman - Rheinland-Pfälzische Technische Universität |
15:30 - 15:50 | Coffee break | < All > |
15:50 - 16:20 | Maximizing the potential of your formal verification traces | Ajeetha Kumari - CVC |
16:20 - 16:50 | Automating formal verification with LLM-driven SVA generation | Hans-Jörg Peter - Siemens |
16:50 - 17:20 | Technology spotlight: the latest in Siemens Formal Verification Suite | Chris Giles - Siemens |
17:20 - 17:30 | Summary of the day and final questions and answers | |
Complimentary dinner |
On-demand presentations
Check out past, on-demand presentations.
* Agenda is subject to change without notice.