Verification Methods for the Latest Designs
As chip complexity accelerates, ensuring your verification methodology keeps pace has become a defining challenge. Today’s next-generation designs — spanning AI accelerators, automotive safety systems, data centre infrastructure, and high-performance SoCs — demand verification strategies that can address massive concurrency, strict safety and reliability targets, and unprecedented data throughput.
From AI workloads that push architectural parallelism to the limit, to automotive applications requiring deterministic behaviour and ISO 26262-aligned verification flows, to hyperscale data centres where latency and power margins leave no room for inefficiency — each domain introduces new layers of verification burden. Traditional approaches are no longer sufficient when dealing with giant design sizes, complex protocols, heterogeneous processing elements, and tight time-to-market pressures.
This DVClub will explore how modern teams are evolving their verification methodologies to meet these demands. We’ll look at the latest techniques for scaling simulation and formal, leveraging acceleration and emulation, improving coverage strategies, verifying safety-critical logic, and aligning methodologies across diverse IP and subsystem teams. Attendees will gain practical insights into how to future-proof their verification approach and ensure readiness for the next wave of advanced designs.
Agenda (EEST)
| Time | Session Description | Presentations | Videos |
|---|---|---|---|
| 13.00 | Arrival, registration, networking, light refreshments | ||
| 13.00 | Using emulation in DV by Abdelrahman Mohamed, Cairo University and Alpinum | View PDF | Video |
| 13.30 | Using AI in Verification by Mike Bartley, Alpinum | View PDF | Video |
| 14:30 | Break with refreshments/networking and complete installation of Python, CoCoTB and AVS | ||
| 15:00 | Python in Verification
– Intro to Python, using Python for verification, CoCoTB, UVM, Python for UVM by Mike Bartley, Alpinum – DVCon and AVL, by Rafael Frangulian, Axelera AI – Some examples and exercises for you to try by Andrew Bond, Axelera AI |
View PDF | Video |
| 17:00 | Refreshments & Pizza/networking |
