Join the build
Start with the guide, then wander into workflows or toss in a quiz of your own.
A documented inventory of engineering skills, policy rules, and multi-step prompt flows for deterministic RTL and DV tasks.
View workflows QuizYAML-backed question banks covering VLSI, computer architecture, verification, and EDA tooling behavior.
Open quiz index ToolsExecution guides and setup documentation for Verilator, GTKWave, Yosys, and formal verification toolchains.
Read documentationStart with the guide, then wander into workflows or toss in a quiz of your own.
The case for this hub is practical, not fashionable. Recent industry and academic work points in the same direction: verification still consumes a huge share of chip schedules, public LLM-for-EDA results are now meaningful, and the usable public stack is still spread across narrow point solutions instead of one mature, reviewable operating model.
First-silicon success in the 2024 Siemens EDA / Wilson Research verification report.
Best reported public spec-to-RTL pass rate in the 2025 VerilogEval revisit.
Counts reflect the named systems in the taxonomy figures of the ASPDAC 2026 LLM-assisted circuit verification survey. They show breadth across sub-problems, not a census of all hardware-AI work.
Start with RTL, timing, verification, architecture, and physical design so the model has a human-reviewed baseline to work against.
Ask the model to draft, summarize, and transform, then keep the result inside diffs, scripts, tests, and review gates.
Move the result into reproducible open-source tooling, where Yosys, Verilator, GTKWave, and the rest of the ecosystem can exercise it.