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 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 Senior Engineering Manager Huntington Ingalls Industries
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	Siemens Government Technologies and Microelectronics Assurance	Justin Brisco Director Siemens Government Technologies
10:30 am Pacific 1:30 pm Eastern	Using Formal Technology for Secure IP Integration	Martin Rowe Senior Application Enigneer Siemens
11:00 am Pacific 2:00 pm Eastern	Formal Verification of Security Properties	Ratish Punnoose Distinguished MTS Sandia National Laboratories
11:30 am Pacific 2:30 pm Eastern	TSS Sign-off Methodology	Dr. Vasker Bhattacherjee Principal Verification Engineer Edaptive Computing
Noon Pacific 3:00 pm Eastern	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.