The verification problem for hardware is a couple of orders of magnitude harder than it is for software because there often (usually) is no 'right' solution. There is a balance of tradeoffs governed by several information sources including standards, company policies, design trade offs and engineer preferences. Software style 'Lint checks' will exist for basic things like functional correctness - e.g. verifying net connectivity. But many verifications for things like EMC, EMI, SI, PI and thermal require engineering judgement to balance tradeoffs.

We're building a verification loop for hardware at Engentica, with a focus initially on EMC/EMI, and I do think the problem is solvable. But it requires a harness with lots of built in solvers for the hardware vertical, and I don't think it's something that LLMs will crack on their own.

As engineers adopt AI to help build circuits more and more, I think hybrid AI/deterministic verification will only get more important.