PulseAugur
实时 04:42:23
English(EN) Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification

LLM 代理通过新颖的验证工作流程处理 C 到 HLS-C 的转换

研究人员开发了一种新颖的 LLM 代理,旨在将标准 C 程序转换为高层次综合工具链所需的 HLS-C(可综合 C 子集)。该代理通过将转换构建为一个闭环生成-验证-诊断-修复过程来解决现有系统的局限性。它包含一个渐进式不匹配定位链来精确定位错误,以及一个带有自演进修复卡池的类型化查询、两阶段检索增强生成系统,在实验结果中表现优于当前最先进的模型。 AI

影响 这项研究可以提高 C 代码转换为硬件综合的效率和可靠性,从而可能加快硬件设计周期。

排序理由 该集群包含一篇详细介绍 LLM 代理新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

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

LLM 代理通过新颖的验证工作流程处理 C 到 HLS-C 的转换

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Zhe Zhao, Hongbing Lang, Zhihan Xiao, Luke Ztz Hu, John Imoleayo Adebisi, Songping Mai ·

    面向C到可合成C转换与验证的证据驱动LLM代理

    arXiv:2606.28409v1 Announce Type: cross Abstract: Software-compilable C programs routinely fail to complete the four-stage pipeline of a high-level synthesis (HLS) toolchain -- compilation, C simulation (CSim), synthesis, and C/RTL co-simulation (CoSim) -- because HLS accepts onl…