close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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.