AI in Design Verification

Artificial Intelligence is rapidly transforming semiconductor design and verification workflows. From AI-assisted UVM development and intelligent debug to coverage analysis and formal verification, engineering teams are exploring how AI can improve productivity, accelerate project delivery, and manage increasing SoC complexity.

DV Club Edinburgh 2026 brought together leading semiconductor engineers, verification specialists, researchers, and technology companies to discuss the practical adoption of AI in Design Verification (AI in DV). Organisations evaluating AI adoption may also be interested in Alpinum’s AI in DV Adoption Framework.

The programme covered a broad range of topics, including AI-assisted verification methodologies, open-source UVM verification, security silicon verification, quality-aware formal verification, agentic AI for verification, floating-point unit (FPU) verification, coverage closure, debug automation, and emerging AI-enabled verification workflows.

Presentations from experts representing academia, EDA vendors, semiconductor companies, and verification consultancies provided practical insights into where AI is delivering measurable value today and where engineering judgement remains essential. Attendees also explored strategies for safely piloting AI in verification teams while maintaining quality, traceability, and confidence in verification sign-off.

This DV Club Edinburgh post-event page provides access to presentation materials, programme information, and future video recordings from the event. Organisations seeking to improve verification effectiveness may also find our resources on verification capability benchmarking and Design Verification training useful.

Event at a Glance:

  • Wed 3 Jun 2026

  • 12:00 PM – 6:00 PM BST

  • Nucleus Building, ELM Lecture Theatre, EH9 3FG

Agenda (GMT)

TimeSession DescriptionPresentationsVideos
12:00Arrival, registration, networking, light refreshments
13:00AI as a Cognitive Amplifier in Modern Design Verification by Simon Davidmann, Southampton UniversityView PDFView recording
13:30AVL: open source UVM verification by Rafael Frangulyn Polyak, Axelera AIView PDFView recording
14:00Open Source Security Silicon — An AI Perspective by Colin McKellar, lowRISCView PDFView recording
14:30AI in DV: Where It Helps, Where It Hurts, and How to Pilot Safely by Mike Bartley, Alpinum ConsultingView PDFView recording
15:00Break with refreshments/networking
15:30Quality Aware Formal Verification by Ramesh Krishnamurthy, APRIL AI Hub, University of EdinburghView PDFView recording
16:00Agentic Formal Verification At The Example of Floating Point Units (FPUs) by Moustafa Kishar, Siemens EDAView PDFView recording
16:30Cadence AgentStack – agentic AI for Verification and Beyond by Matt Graham, Cadence Design SystemsView PDFView recording
17:00AI in Design Verification: What works, what doesn’t and what comes next by Andy Montador, Analog DevicesView PDFView recording
17:30Refreshments/networking