研究人员开发了 Arcane，一个旨在减少硬件验证中冗余断言的新框架。该系统使用语义聚类来对断言进行分类，并使用蒙特卡洛树搜索来优化用于缩减的规则应用顺序。实验表明，Arcane 在保持覆盖率的同时，可以将断言数量减少高达 76.2%，从而将模拟速度提高 2.6 倍至 6.1 倍。 AI
影响 减少硬件验证中的模拟开销，可能加速 AI 硬件的开发周期。
排序理由 该集群包含一篇详细介绍新框架及其实验结果的学术论文。[lever_c_demoted from research: ic=1 ai=0.7]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
