
The osmosis Aerospace and Defense 2023 Agenda is Live! VIRTUAL EVENT!
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, 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.
Conference program
Day 1 – Tuesday May 23
Start | Topic | Presenter |
10:00 am Pacific | Keynote: SoC 3PIP assurance challenges | Matt Sale Sr. ASIC/SoC Engineer Air Force Research Lab |
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 | Nicolae Tusinschi Product Manager Siemens |
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 Senior Application Enigneer Siemens |
11:00 am Pacific | Formal Verification of Security Properties | Ratish Punnoose |
11:30 am Pacific | TSS Sign-off Methodology | Dr. Vasker Bhattacherjee Principal Verification Engineer Edaptive Computing |
Noon Pacific | Securing RISC-V Military Projects | Dr. Christopher Diltz Principal Verification Engineer Edaptive Computing |
12:30 pm Pacific 3:30 pm Eastern | Machine Learning for Verification | Dan Yu AI/ML Solutions Manager Siemens |
Register here: https://onespin.com/osmosis-aerospace-and-defense-2023/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 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.