-
From AI-Assisted EDA to AI-Mediated Engineering
Reflections on DAC 2026, where agentic methods made up about 28% of the agenda and AI submissions had risen from under 300 in 2023 to about 700. Sets out the two technical routes, replacing the tool engines or wrapping them, and argues for evidence-grounded loops in which AI proposes and physics, formal methods or simulation decides.
-
DAC 2026: Accellera Luncheon Panel on Embracing AI for Advanced Design and Verification
Mike Gianfagna's write-up of the Accellera luncheon panel at DAC 2026, which he moderated.
-
Harnessing AI for SoC Verification: Disruptive or Collaborative?
Panel on whether AI in SoC verification disrupts current flows or works alongside them.
-
Interview with Simon Davidmann, AI + EDA Researcher and Former CEO of Imperas
Interview by Daniel Nenni on the move from Imperas and Synopsys to AI+EDA research at the University of Southampton. Covers how RISC-V users building AI accelerators led to this research, published results of ML in verification ranging from 85% less RTL simulation to 10% better coverage, Davidmann's Dilemma and Test, and why the larger opportunity for start-ups is a holistic rethink of the toolchain.
-
Embracing AI for Advanced Design and Verification
Accellera panel on how AI is changing design and verification, and what that means for EDA standards.
-
AI in EDA Is Real, It's Now, and It's on Show at DAC 2026
Frank Schirrmeister's preview of DAC 2026, built around two ideas from my work. Davidmann's Dilemma: "every camp acting rationally guarantees the collectively wrong outcome". Davidmann's Test: "Does it change what you can verify, or just how fast you run what you already verify?"
-
An AI Model Fit For Purpose
Quoted on judging AI models for EDA: accuracy has to separate syntactic correctness, functional correctness and formal completeness, and a model's reliability is bounded by the distribution of the data it was trained on.
-
Can AI Create Missing Models?
Quoted on using AI to create missing models: functional correctness and implementation correctness are different properties, and production use of AI-generated design content needs verification in the loop.
-
AI as a Cognitive Amplifier in Modern Design Verification
As design complexity grows, the bottleneck in verification has moved from simulation throughput to engineering cognition: the capacity to take in specifications, traces and coverage data. Introduces a taxonomy for AI in verification and reviews recent academic results in three areas: stimulus generation and coverage closure, test selection and bug triage, and performance prediction.
-
The next EDA wave: Lessons from DATE 2026
A review of DATE 2026 in Verona. AI now appears as a workload, a design tool, a research method and a security risk, and the move from single prompts to multi-agent, tool-grounded flows makes verification and security first-class constraints. Closes with the case for European capability in AI+EDA, built on its universities, its RISC-V community and its safety-critical industries.
-
What is the EDA problem worth solving with AI?
Most AI work in EDA speeds up what engineers already do. This article looks at the positions of the large EDA vendors, the agentic start-ups and the in-house teams at large chip companies, and proposes foundation models specialised with formal and domain structure, open APIs and serious collaboration between industry and universities.
-
Using Data And AI More Effectively In EDA
Quoted on the data available for AI in EDA: most of it is "human first", produced for engineers to read, and RVVI was built to give a trace that tools can interact with.
-
AI+EDA for DV Engineers
A survey of where AI and machine learning now meet EDA, prompted by the question asked at DAC 2025: are we living through the "Verilog moment" for AI? Covers commercial design verification products that use ML and AI, research in UK universities, how AI fits into chip verification workflows, and the shortage of appropriately licensed training data.
-
The Art and Science of Automating Verification Checking
-
Verification in the Open-Source Era
-
Components For Open-Source Verification
-
Axiomise podcast with Ashish Darbari
-
Software Verification for Low Power, Safety Critical Systems
-
Virtual Platform Software Simulation for Enhanced Multi-core Software Verification
-
Learning From Advanced Hardware Verification for Hardware Dependent Software