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) 2023 was 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 delivered the following program covering a wide range of formal verification topics – along with some sneak-previews of our future product roadmaps.

Select presentations are available on-demand:
https://verificationacademy.com/seminars/siemens-eda-osmosis-aerospace-and-defense-2023

Be sure to check out the agenda for osmosis A&D 2024:
https://eda.sw.siemens.com/en-US/eda-events/osmosis-aerospace-defense-2024/

2023 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


Select presentations are available on-demand:
https://verificationacademy.com/seminars/siemens-eda-osmosis-aerospace-and-defense-2023


Be sure to check out the agenda for osmosis A&D 20
24:
https://eda.sw.siemens.com/en-US/eda-events/osmosis-aerospace-defense-2024/


If you have any questions email osmosis.sisw@siemens.com with the "osmosis A&D 2023” keyword in the subject header.

The Siemens Formal Verification Team