实体
RIC3
RIC3
PulseAugur coverage of RIC3 — every cluster mentioning RIC3 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI框架A-IC3通过自适应策略增强硬件模型检查
研究人员开发了A-IC3，一个新颖的框架，通过结合机器学习来增强用于硬件模型检查的IC3算法。这种新方法使用多臂老虎机算法动态选择归纳泛化策略，适应不断变化的验证上下文。实证结果表明，A-IC3的性能显著优于现有方法，在基准套件上解决了更多案例并提高了分数。
-
AI框架通过自适应归纳泛化增强硬件模型检查
研究人员开发了一个名为A-IC3的新机器学习框架，以提高IC3算法的性能，IC3是硬件模型检查的一种领先技术。A-IC3采用多臂老虎机方法，根据验证上下文动态调整其归纳泛化策略。这种自适应方法旨在提高生成的子句的质量，这对于IC3的有效性至关重要。实证结果表明，A-IC3在一个大型基准套件上显著优于基线方法，解决了更多的案例并提高了PAR-2分数。