#硬件验证

用 LLM 自动写测试把硬件覆盖率拉满，还靠独立记分板查数据对不对，作者连自己代码里的 bug 都揪出来了。

做硬件验证的可以看看，CHORUS用4B小模型在CVDP-ECov上干翻了671B的DeepSeek-R1，靠的是把多个专家模型合并起来，思路挺巧。