Formal verification virtual event

osmosis Aerospace and Defense 2024

Tuesday, April 23 | 1 p.m. (ET) – 3:30 p.m. (ET); 10 a.m. (ET) – 12:30 p.m. (ET)

Wednesday, April 24 | 1 p.m. (ET) – 3 p.m. (ET); 10 a.m. (PT) – Noon (PT)

For US citizens only via their company's contact information

Elevate your success with osmosis A&D 2024

osmosis Aerospace and Defense (A&D) 2024 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/topics/formal-verification/osmosis-aerospace-and-defense-2024/

And be sure to check out osmosis A&D 2023 presentations too:
https://verificationacademy.com/seminars/siemens-eda-osmosis-aerospace-and-defense-2023

2024 Conference program

Day 1 – Tuesday April 23

Start	Topic	Presenter
10:00 am Pacific 1:00 pm Eastern	Keynote: Importance of Microelectronics Assurance	Cody Wagner US Navy CRANE
10:30 am Pacific 1:30 pm Eastern	Trusted and Assured Microelectronics Begin Long Before Silicon	John Hallman Siemens
11:00 am Pacific 2:00 pm Eastern	Enverite PV-Bit: Bitstream Verification for FPGA Design Assurance	Dr. Jonathan Graf Graf Research
11:30 am Pacific 2:30 pm Eastern	Optimizing FPGA Equivalence Checking for A&D Designs	Kevin Urish Siemens
Noon Pacific 3:00 pm Eastern	Enhanced Assurance for FPGA EDA Tools	Christopher Clark GTRI

Day 2 – Wednesday April 24

Start	Topic	Presenter
10:00 am Pacific 1:00 pm Eastern	Decoding Design Mysteries: Revolutionize Your Architectural Insights with Questa Analyze Architecture	Christopher Diltz Edaptive
10:30 am Pacific 1:30 pm Eastern	Supply Chain Traceability and Assurance	Brett Attaway Siemens Government Technologies
11:00 am Pacific 2:00 pm Eastern	Formal Technology Update & Roadmap	Chris Giles Siemens
11:30 am Pacific 2:30 pm Eastern	Driving efficient execution with Continuous Integration	Kevin Campbell Siemens
Noon Pacific 3:00 pm Eastern	New AI Horizons in Static & Formal Verification A&D	Dan Yu Siemens

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