FORMAL VERIFICATION VIRTUAL EVENT
Osmosis Aerospace and Defense 2023
Tuesday May 23 and Wednesday May 24, 2023
For US Citizens via their Company’s contact information
Osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems.
We have put together the following program covering a wide range of formal verification topics – along with delivering sneak-previews of our future product roadmaps.
Register here:
https://onespin.com/osmosis-aerospace-and-defense-2023/registration
Conference program
Day 1 – Tuesday May 23
Start | Topic | Presenter |
|---|---|---|
10:00 am Pacific | Keynote: | Matt Sale |
10:30 am Pacific | Update on Formal-based Trust and Security Verification Flows | John Hallman |
11:00 am Pacific | Formal Equivalence Techniques for Analyzing & Securing FPGA Bitstreams | Steve Baka |
11:30 am Pacific | EC FPGA Evolution | Kevin Urish |
Noon Pacific | The Questa OneSpin Integration Roadmap | Chris Giles |
Day 2 – Wednesday May 24
Start | Topic | Presenter |
|---|---|---|
10:00 am Pacific | Siemens Government Technologies and Microelectronics Assurance | Justin Brisco |
10:30 am Pacific | Using Formal Technology for Secure IP integration | Martin Rowe |
11:00 am Pacific | Formal Verification of Security Properties | Ratish Punnoose |
11:30 am Pacific | ECI TSS Sign Off Methodology | Dr. Vasker Bhattacherjee |
Noon Pacific | ECI Securing RISC-V Military Projects | Dr. Christopher Diltz |
12:30 pm Pacific | Machine Learning (ML) for Verification | Dan Yu |
Register here:
https://onespin.com/osmosis-aerospace-and-defense-2023/registration
If you have any questions email osmosis.sisw@siemens.com with the "osmosis A&D 2023” keyword in the subject header.
We look forward to you joining us!!!
The Siemens Formal Verification Team
* The agenda and speakers are subject to change without notice.