The osmosis 2022 agenda is live!
osmosis is about sharing success in using formal techniques to solve verification challenges, and networking with our R&D experts and other attendees. If you have a story to tell, you're invited to share it at osmosis. You'll benefit from increased industry visibility as a subject matter expert, and the conversations that follow may help you, or others, improve solutions even more.
Conference program
Check-in and continental breakfast - doors open at 8:00 AM, Program starts at 9:00 AM
Topic | Presenter |
|---|---|
Results from the 2022 Wilson Research survey of the world-wide ASIC and FPGA user community | Harry Foster, Siemens |
| Make formal simple and easy-to-use with generated Assertion IPs | Dr. Tobias Ludwig, Lubis EDA |
The X-factors of X-checking | Kanthi Palaniappan, Nokia & Neil Rattray, Siemens |
Formal coverage: an approach to analyze property holes | Aishwarya Sridhar & Paritosh Kumar, Infineon; Pallavi Atha, Siemens |
How formal lights up your RISC-V verification avenue | Philippe Luc, Codasip |
Lunch | |
Exhaustive trust & security verification by | John Hallman, Siemens |
Crossing the RISC-V customization barrier with formal | Pascal Gouedo, Dolphin Design & Salaheddin Hetalani, Siemens |
A novel approach to formal FW/HW co-verification | Djones Lettnin, Infineon; Joerg Bormann, Siemens |
Property checking master class: unique program execution checking (UPEC) | Keerthi Devraj, Siemens |
EC-FPGA update (including a sneak preview of new synthesizer support) | Kevin Urich, Siemens |
Formal verification of high consequence systems | Ratish Punnoose, Sandia National Lab |
| Product Plans and Roadmap Update | Chris Giles, Siemens |
Register here: www.onespin.com/osmosis-2022/registration
If you have any questions (including whether if you could “bump” one of our R&D presenters to share your formal verification story), email osmosis.sisw@siemens.com with the "osmosis” keyword in the subject header.
We look forward to seeing you!!!
The Siemens Formal Verification Team
* The agenda and speakers are subject to change without notice.
