QUESTA AND ONESPIN IN-PERSON EVENT

Verification Academy Live: Static and Formal Tech Day

Wednesday, May 31st | Elma Hotel and Art Complex | 1 Yair Street, Zikhron Ya'aqov, Israel

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 Is Not Enough: Reset Domain Crossing Verification and Hierarchical Data Modeling (HDM)
11:30	Coffee break
11:45	A multidimensional view of formal verification coverage
12:15	Advanced CDC flows: Dynamic Metastability Modeling, Protocol Verification, Reconvergence
13:00	Customer Case studies on Formal and Static flows: * Maximizing Intel Design Efficiency with Questa Design Solutions * From Fresh Design to Release using Exhaustive Verification (Hailo)
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.