arXiv:2604.24218cs.SEcs.AI2026-04中稿 · ISEDA2026

用智能代理协同进化,让硬件模型生成又快又准。

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

论文配图:RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
图 1 · 摘自论文原文
  • 动态规划+双代理协同纠错,自动适配复杂度
  • 95%通过率,上下文压缩节省7万多token
  • 适合芯片架构师快速构建高保真模型

随着片上系统(SoC)设计复杂度提升,向左迁移的范式要求快速生成高保真参考模型(通常用SystemC编写),以支持早期架构探索与验证。尽管大语言模型(LLMs)在代码生成方面展现出潜力,但在硬件建模中面临三大挑战:(1) 静态工作流无法适应不同设计复杂度,效率低下;(2) 多轮交互中上下文窗口溢出导致关键规格遗忘;(3) 联合验证失败问题——生成的测试平台因共现幻觉错误验证有缺陷的模型,严重削弱可靠性。为此,我们提出RefEvo,一种用于敏捷可靠参考建模的动态多智能体框架。其核心创新包括:(1) 动态设计规划器,根据语义复杂度自动分解规格并构建定制化执行流程;(2) 协同进化验证机制,通过辩证仲裁者同时修正模型与验证逻辑,对抗规格原点,有效缓解误报;(3) 规格锚定策略,实现无损上下文压缩。在20个硬件模块的多样化基准上评估,RefEvo达到95%通过率,显著优于静态基线。此外,上下文优化使令牌消耗平均降低71.04%,单次会话对复杂设计绝对节省超7万令牌,同时保持100%规格召回率。

原文摘要 · Abstract (English)

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architecture exploration and verification. While Large Language Models (LLMs) show promise in code generation, their application to hardware modeling faces unique challenges: (1) Rigid, static workflows fail to adapt to varying design complexity, causing inefficiency; (2) Context window overflow in multi-turn interactions leads to catastrophic forgetting of critical specifications; and (3) the Coupled Validation Failure problem--where generated Testbenches (TBs) incorrectly validate flawed models due to correlated hallucinations--severely undermines reliability. To address these limitations, we introduce RefEvo, a dynamic multi-agent framework designed for agile and reliable reference modeling. RefEvo features three key innovations: (1) A Dynamic Design Planner that autonomously decomposes design specifications and constructs tailored execution workflows based on semantic complexity; (2) A Co-Evolutionary Verification Mechanism, which employs a Dialectical Arbiter to simultaneously rectify the model and verification logic against the specification (Spec) oracle, effectively mitigating false positives; and (3) A Spec Anchoring Strategy for lossless context compression. Evaluated on a diverse benchmark of 20 hardware modules, RefEvo achieves a 95% pass rate, outperforming static baselines by a large margin. Furthermore, our context optimization reduces token consumption by an average of 71.04%, achieving absolute savings of over 70,000 tokens per session for complex designs while maintaining 100% specification recall.

芯片设计智能代理代码生成验证

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。