Formal Verification Virtual Event
osmosis Aerospace and Defense 2024
Tuesday April 23 | 1pm Eastern – 3:30pm Eastern; 10am Pacific – 12:30pm Pacific
Wednesday April 24 | 1pm Eastern – 3:00pm Eastern; 10am Pacific – Noon Pacific
For US Citizens only via their Company’s contact information
Elevate your success with osmosis A&D 2024
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.
2024 Conference program
Day 1 – Tuesday April 23
Start | Topic | Presenter |
|---|---|---|
10:00 am Pacific | Keynote: | Cody Wagner |
10:30 am Pacific | Trusted and Assured Microelectronics Begin Long Before Silicon | John Hallman |
11:00 am Pacific | Enverite PV-Bit: Bitstream Verification for FPGA Design Assurance | Dr. Jonathan Graf |
11:30 am Pacific | Optimizing FPGA Equivalence Checking for A&D Designs | Kevin Urish |
Noon Pacific | Enhanced Assurance for FPGA EDA Tools | Christopher Clark |
Day 2 – Wednesday April 24
Start | Topic | Presenter |
|---|---|---|
10:00 am Pacific | Decoding Design Mysteries: Revolutionize Your Architectural Insights with Questa Analyze Architecture | Christopher Diltz |
10:30 am Pacific | Supply Chain Traceability and Assurance | Brett Attaway |
11:00 am Pacific | Formal Technology Update & Roadmap | Chris Giles |
11:30 am Pacific | Driving efficient execution with Continuous Integration | Kevin Campbell |
Noon Pacific | New AI Horizons in Static & Formal Verification A&D | Dan Yu |
If you have any questions 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
The agenda and speakers are subject to change without notice.