Verification Academy Live: Static and Formal Tech Day
May 31 @ 8:00 AM - 5:00 PM
Join us to learn new technologies and techniques you can adopt today to increase your verification productivity and get a sneak preview of our roadmap.
Conference program
| Start | Topic |
|---|---|
| 8:30 | Check-in and breakfast |
| 9:30 | Welcome and overview |
| 10:00 | Transactional Assertions – Where representation influences thinking |
| 10:20 | GapFree – Where all pieces come together |
| 10:40 | Break the RISC-V customization barrier with Processor Formal Verification |
| 11:00 | When Regular CDC Isn’t Enough: Dynamic Metastability Modeling and Reset Domain Crossing verification |
| 11:30 | Coffee break |
| 11:45 | A multidimensional view of formal verification coverage |
| 12:15 | Advanced Static CDC flows: Protocol verification, Reconvergence, Hierarchical Data Modeling (HDM) |
| 13:00 | Customer Case studies on Formal and Static flows |
| 13:45 | Enhancing CDC flows with Machine Learning (ML) today, and the future roadmap of static solutions |
| 14:15 | Lunch |
We look forward to seeing you!
The Siemens Static and Formal Verification Team
* The agenda and speakers are subject to change without notice.
Micron Mandarin Memory Machinations- CHIPS Act semiconductor equipment hypocrisy