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)

TimeSession DescriptionPresentationsVideos
13.00Arrival, registration, networking, light refreshments
13.00Using emulation in DV by Abdelrahman Mohamed, Cairo University and AlpinumView PDFVideo
13.30Using AI in Verification by Mike Bartley, AlpinumView PDFVideo
14:30Break with refreshments/networking and complete installation of Python, CoCoTB and AVS
15:00Python 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 PDFVideo

Video

Video

17:00Refreshments & Pizza/networking