实体 Op-Tree

Op-Tree

PulseAugur coverage of Op-Tree — every cluster mentioning Op-Tree 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_156432 · Jul 22 · 04:00

新的FVRuleLearner框架利用操作符推理树自动执行形式验证

研究人员开发了FVRuleLearner，一个新颖的框架，旨在通过学习操作符级规则来自动化形式验证（FV）。该系统利用操作符推理树（Op-Tree）来模拟将自然语言规范转换为SystemVerilog断言（SVA）的复杂过程。FVRuleLearner分两个阶段运行：训练阶段，它构建Op-Trees，将自然语言到SVA的对齐分解为操作符感知的问答；测试阶段，它检索推理跟踪以生成针对未见过规范的新规则。研究表明，FVRuleLearne…