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.

Event at a Glance:

  • Sat 13 Dec 2025
  • 12:00 PM – 6:00 PM EET
  • 22 Founders Spaces Villa, El-Shaikh Rihan St, El-Shaikh Abd Allah, Abdeen, Cairo Governora, 11835

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

Video

Video

17:00 Refreshments & Pizza/networking