本文介绍了 ContractHIL-HLS，这是一种契约对齐的多智能体工作流，用于实际的高层次综合（HLS）工程。该工作流提出了三个主要贡献。
首先，引入了一个结构化契约作为语义对齐和任务执行的文档，将自然语言需求转换为明确的接口、约束、验证检查和回退规则。
其次，通过将 HLS、Vivado、PYNQ 运行时、功耗和故障证据反馈到生成中，增强了反馈循环，从而将 LLM 辅助的 HLS 从内核代码扩展到系统和板级闭环。
第三，通过语义降低和执行任务而非对话角色对代理进行分解：契约代理将自然语言降低为契约，HTML 代理将契约呈现为持久的结构化 HTML，而硬件在环代理则利用测量证据实施和修订设计。
我们在两个部分评估了 ContractHIL-HLS。在 94 个本地可执行的 HLS-Eval 任务中，结构化契约提供了最大的设计增益，将单样本测试基准的通过率从 64.0% 提高到 70.2%；完整流程达到了 70.4% 的 pass@1 和 76.6% 的 pass@5。由于 HLS-Eval 没有进行板级设计，我们还在一个经过测试的 ML-KEM/ML-DSA 后量子密码学（PQC）安全消息加速器上验证了 ContractHIL-HLS，其保留的双比特流组织将六消息的平均文本运行时间从 207.3 ms 降低到 52.4 ms，同时在两个图像上保持了正向路由的 WNS，并保留了解密消息的验证。
我们将此工作开源，地址为 BJUT-CS316-LAB/ContractHIL-HLS (https://github.com/BJUT-CS316-LAB/ContractHIL-HLS)。
博主点评： ContractHIL-HLS 通过引入结构化契约和硬件反馈机制，显著提升了高层次综合设计的效率与可靠性，尤其在后量子密码学的应用中展现了强大的能力，预示着未来 HLS 设计的一个重要发展方向。它的开源将极大推动相关领域的研究与应用。