arXiv ID:
2604.27643
arXiv 提交日期: 2026-04-30
HAVEN:面向UVM测试平台合成的混合自动验证引擎 / HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
1️⃣ 一句话总结
为解决大语言模型在芯片验证中生成硬件描述代码困难的问题,本文提出HAVEN系统,它通过结构化模板和专用领域语言替代直接编写代码,在多个接口协议上实现了接近90%的测试覆盖率,大幅提升了自动化验证的可靠性。