★ 2
ChipMEM：面向 EDA 智能体的验证锚定记忆
论文提出 ChipMEM，一种面向 EDA 智能体的验证锚定记忆层，将跨任务过程性记忆与轨迹内统计引导结合。过程性技能仅在通过综合、仿真或形式验证后才被蒸馏存储，贝叶斯组件对工具调用结果做层次 Beta 估计并排序恢复策略。在 RTLRewriter-Bench 与 CVDP 上，等价通过率与面积…
arXiv cs.LG39 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 ChipMEM，一种面向 EDA 智能体的验证锚定记忆层，将跨任务过程性记忆与轨迹内统计引导结合。过程性技能仅在通过综合、仿真或形式验证后才被蒸馏存储，贝叶斯组件对工具调用结果做层次 Beta 估计并排序恢复策略。在 RTLRewriter-Bench 与 CVDP 上，等价通过率与面积…