研究人员开发了 GoGoTB，一个旨在自动化集成电路（IC）工程中功能验证的具身化框架。该系统通过在验证阶段维护共享上下文，防止接口不匹配并确保覆盖率与规范要求挂钩，从而解决了当前基于 LLM 的方法的局限性。GoGoTB 利用执行控制层、可演化知识系统和基于规范的覆盖率闭合来实现端到端验证。在对八个 RTL 设计的测试中，GoGoTB 成功生成了完整的验证环境，并在无人干预的情况下实现了高覆盖率指标。 AI
影响 该框架通过自动化复杂的验证任务，可能显著加速 IC 设计周期，并可能减少昂贵的重新设计周期。
排序理由 这是一篇描述用于 RTL 验证的新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
