Mini-SoK: On Applying LLMs to Verification

This page did not load. You can still read it on the original site — the toolbar below keeps your place in the directory.

TL;DR it’s not promising.
Introduction Hardware tends to move slow. And for good reason. When you spend millions of dollars in capex, you want to eliminate as much risk as possible.
Still, the demand just keeps increasing. I (knock on wood) don’t foresee the world needing any less amount of hardware, and thus, any less amount of verification. And there’s really not that…

Read on example.org ↗