GoGoTB

新的具身化框架使用 LLM 自动化 IC 验证

研究人员开发了 GoGoTB，一个旨在自动化集成电路（IC）工程中功能验证的具身化框架。该系统通过在验证阶段维护共享上下文，防止接口不匹配并确保覆盖率与规范要求挂钩，从而解决了当前基于 LLM 的方法的局限性。GoGoTB 利用执行控制层、可演化知识系统和基于规范的覆盖率闭合来实现端到端验证。在对八个 RTL 设计的测试中，GoGoTB 成功生成了完整的验证环境，并在无人干预的情况下实现了高覆盖率指标。