- This event has passed.
Osmosis Aerospace and Defense 2023
May 23 - May 24
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
1:00 pm Eastern |
Keynote: SoC 3PIP assurance challenges |
Matt Sale Sr. ASIC/SoC Engineer Air Force Research Lab |
| 10:30 am Pacific
1:30 pm Eastern |
Update on Formal-based Trust and Security Verification Flows | John Hallman Product Manager Siemens |
| 11:00 am Pacific
2:00 pm Eastern |
Formal Equivalence Techniques for Analyzing & Securing FPGA Bitstreams | Steve Baka Sr. Engineering Manager Huntington Ingalls |
| 11:30 am Pacific
2:30 pm Eastern |
EC FPGA Evolution | Kevin Urish Product Owner Siemens |
| Noon Pacific
3:00 pm Eastern |
The Questa OneSpin Integration Roadmap | Nicolae Tusinschi Product Manager Siemens |
Day 2 – Wednesday May 24
| Start | Topic | Presenter |
|---|---|---|
| 10:00 am Pacific
1:00 pm Eastern |
New Techniques for Exhaustive Verification of High-Consequence Systems | Ratish Punnoose Distinguished MTS Sandia National Laboratories |
| 10:30 am Pacific
1:30 pm Eastern |
ECI TSS Sign Off Methodology | Dr. Vasker Bhattacherjee Principal Verification Engineer Edaptive Computing |
| 11:00 am Pacific
2:00 pm Eastern |
ECI Securing RISC-V Military Projects | Dr. Christopher Diltz Principal Verification Engineer Edaptive Computing |
| 11:30 am Pacific
2:30 pm Eastern |
Microelectronics Assurance | Antonio de la Serna Senior Director Siemens Government Technologies |
| Noon Pacific
3:00 pm Eastern |
Machine Learning (ML) for Verification | Dan Yu AI/ML Solutions Manager Siemens |
Register here:
https://onespin.com/osmosis-aerospace-and-defense-2023/registration
Speculation for Simulation. Innovation in Verification