RefEvo：具有协同进化验证的代理设计，用于敏捷参考模型生成

随着片上系统 (SoC) 设计复杂性的增加，左移范式需要快速开发高保真参考模型（通常用 SystemC 编写），以进行早期架构探索和验证。虽然大语言模型（LLM）在代码生成方面显示出良好的前景，但它们在硬件建模中的应用面临着独特的挑战：（1）僵化、静态的工作流程无法适应不断变化的设计复杂性，导致效率低下； (2) 多轮交互中的上下文窗口溢出导致关键规范的灾难性遗忘； (3) 耦合验证失败问题——生成的测试平台 (TB) 由于相关幻觉而错误地验证了有缺陷的模型——严重损害了可靠性。为了解决这些限制，我们引入了 RefEvo，这是一个专为敏捷可靠的参考建模而设计的动态多代理框架。 RefEvo 具有三项关键创新：（1）动态设计规划器，可自主分解设计规范并根据语义复杂性构建定制的执行工作流程； （2）协同进化验证机制，采用辩证仲裁器根据规范（Spec）预言机同时纠正模型和验证逻辑，有效减少误报； (3) 用于无损上下文压缩的规范锚定策略。在 20 个硬件模块的多样化基准测试中，RefEvo 达到了 95% 的通过率，大幅优于静态基准。此外，我们的上下文优化平均减少了 71.04% 的词元消耗，在复杂设计的每个会话中绝对节省了超过 70,000 个词元，同时保持 100% 的规范召回率。