实体 Assertionbench

Assertionbench

PulseAugur coverage of Assertionbench — every cluster mentioning Assertionbench across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_27519 · May 11 · 07:20

Arcane 框架将硬件验证断言减少 76%

研究人员开发了 Arcane，一个旨在减少硬件验证中冗余断言的新框架。该系统使用语义聚类来对断言进行分类，并使用蒙特卡洛树搜索来优化用于缩减的规则应用顺序。实验表明，Arcane 在保持覆盖率的同时，可以将断言数量减少高达 76.2%，从而将模拟速度提高 2.6 倍至 6.1 倍。