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.
Agenda (GMT)
| Time | Session Description | Presentations | Videos |
|---|---|---|---|
| 12:00 | Arrival, registration, networking, light refreshments | ||
| 13:00 | AI as a Cognitive Amplifier in Modern Design Verification by Simon Davidmann, Southampton University | View PDF | View recording |
| 13:30 | AVL: open source UVM verification by Rafael Frangulyn Polyak, Axelera AI | View PDF | View recording |
| 14:00 | Open Source Security Silicon — An AI Perspective by Colin McKellar, lowRISC | View PDF | View recording |
| 14:30 | AI in DV: Where It Helps, Where It Hurts, and How to Pilot Safely by Mike Bartley, Alpinum Consulting | View PDF | View recording |
| 15:00 | Break with refreshments/networking | ||
| 15:30 | Quality Aware Formal Verification by Ramesh Krishnamurthy, APRIL AI Hub, University of Edinburgh | View PDF | View recording |
| 16:00 | Agentic Formal Verification At The Example of Floating Point Units (FPUs) by Moustafa Kishar, Siemens EDA | View PDF | View recording |
| 16:30 | Cadence AgentStack – agentic AI for Verification and Beyond by Matt Graham, Cadence Design Systems | View PDF | View recording |
| 17:00 | AI in Design Verification: What works, what doesn’t and what comes next by Andy Montador, Analog Devices | View PDF | View recording |
| 17:30 | Refreshments/networking |
