Loading Events

« All Events

  • This event has passed.

Verification Academy Live: Static and Formal Tech Day

May 31, 2023 @ 8:00 AM - 5:00 PM

This event is in-person only — there is no support for remote participation.

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

Register now

We look forward to seeing you!

The Siemens Static and Formal Verification Team

* The agenda and speakers are subject to change without notice.

Share this post via:


Siemens EDA
View Organizer Website


Elma Hotel and Art Complex
1 Yair Street
Zikhron Ya'aqov, Israel
+ Google Map