- This event has passed.
osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event
April 23 @ 10:00 am - April 24 @ 12:30 pm PDT
osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of DO-254 compliant and other high-consequence systems.
We have put together the following program covering a wide range of formal verification topics.
Day 1 – Tuesday, April 23
- 10:00am Pacific | 1:00pm Eastern
Keynote: Importance of Microelectronics Assurance
Cody Wagner | US Navy CRANE
- 10:30am Pacific | 1:30pm Eastern
Trusted and Assured Microelectronics Begin Long Before Silicon
John Hallman | Siemens
- 11:00am Pacific | 2:00pm Eastern
Enverite PV-Bit: Bitstream Verification for FPGA Design Assurance
Dr. Jonathan Graf | Graf Research
- 11:30am Pacific | 2:30pm Eastern
Optimizing FPGA Equivalence Checking for A&D Designs
Kevin Urish | Siemens
- Noon Pacific | 3:00pm Eastern
Supply Chain Traceability and Assurance
Brett Attaway | Siemens Government Technologies
Day 2 – Wednesday, April 24
- 10:00am Pacific | 1:00pm Eastern
Decoding Design Mysteries: Revolutionize Your Architectural Insights with
Questa Analyze Architecture
Christopher Diltz | Edaptive
- 10:30am Pacific | 1:30pm Eastern
Enhanced Assurance for FPGA EDA Tools
Christopher Clark | GTRI
- 11:00am Pacific | 2:00pm Eastern
Driving efficient execution with Continuous Integration
Kevin Campbell | Siemens
- 11:30am Pacific | 2:30pm Eastern
New AI Horizons in Static & Formal Verification A&D
Dan Yu | Siemens
If you have any questions (including whether 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 2024” keyword in the subject header.
We look forward to seeing you online!
The Siemens Formal Verification Team