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

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

Chris Giles
Head of Static&Formal Product Management
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 of Strategic Supply Chain Solutions
Siemens Government Technologies

10:30 am Pacific

1:30 pm Eastern

Using Formal Technology for Secure IP integration

Martin Rowe
Sr. Applications Engineer
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

ECI TSS Sign Off Methodology

Dr. Vasker Bhattacherjee
Principal Verification Engineer
Edaptive Computing

Noon Pacific

3:00 pm Eastern

ECI Securing RISC-V Military Projects

Dr. Christopher Diltz
Principal Verification Engineer
Edaptive Computing

12:30 pm Pacific

3:30 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


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.