PulseAugur
中
实时 10:15:03
English(EN) Dictionary-Guided Mutation Operators for Automated HDL Repair

新的HDL修复系统使用字典引导变异和仿真发散

作者 PulseAugur 编辑部 · [2 个来源] ·

研究人员开发了一种新颖的系统，用于自动修复硬件描述语言（HDL）设计，解决了搜索空间大和语法约束严格的挑战。该系统采用字典引导变异算子，利用特定于被测设计（DUT）的ANTLR派生词汇表。它将此与仿真发散故障定位模块相结合，以识别变异并将其导向高嫌疑区域。这种方法在CirFix基准套件上显示出有效性，成功修复了多种错误变体，包括先前方法无法处理的复杂多重编辑实例，同时还实现了显著的加速。 AI

影响 这项研究可能导致更高效、更有效的硬件设计自动化调试工具。

排序理由 该集群包含一篇详细介绍自动化HDL修复新方法的论文。[lever_c_demoted from research: ic=2 ai=0.4]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

新的HDL修复系统使用字典引导变异和仿真发散

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
该集群包含一篇详细介绍自动化HDL修复新方法的论文。[lever_c_demoted from research: ic=2 ai=0.4]
Source corroboration
2 independent sources
Multiple independent publishers reporting the same story raises confidence that it's real and newsworthy.
Topics
paper, other
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
Standard
On-topic for AI-industry coverage; kept in the public index.
Story freshness
28 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Maisha Mastora, Dean Sullivan ·

    面向自动化 HDL 修复的字典引导变异算子

    arXiv:2609.01775v1 Announce Type: cross Abstract: Automated repair of Hardware Description Language (HDL) designs remains challenging due to the large search space of candidate repairs and the strict syntactic and semantic constraints imposed by HDL grammars. Generic mutation str…

  2. arXiv cs.NE (Neural & Evolutionary) TIER_1 English(EN) · Dean Sullivan ·

    面向自动化 HDL 修复的字典引导变异算子

    Automated repair of Hardware Description Language (HDL) designs remains challenging due to the large search space of candidate repairs and the strict syntactic and semantic constraints imposed by HDL grammars. Generic mutation strategies overwhelmingly generate syntactically inva…

相关实体

相关话题