发表机构
BJUT-CS316-LAB（北京工业大学CS316实验室）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究针对实际HLS工程提出ContractHIL-HLS工作流，通过引入结构化合同、纳入硬件信息及分解智能体实现多方面改进，经实验验证其在HLS-Eval任务及板级测试中均有良好效果，提高了设计通过率并优化运行时间。
AI 中文摘要
本文介绍了ContractHIL-HLS，一种用于实际高级综合（HLS）工程的合同对齐多智能体工作流。该工作流有三个贡献。首先，引入结构化合同作为语义对齐和任务执行工件，将自然语言需求转化为明确接口、约束、验证检查和回滚规则。其次，通过将HLS、Vivado、PYNQ运行时、功耗和故障证据反馈到生成过程中，将硬件信息纳入反馈循环，从而将基于大语言模型的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毫秒减少到52.4毫秒，两张图像的布线后最坏负时差（WNS）均为正，同时保留解密消息验证。我们在BJUT-CS316-LAB/ContractHIL-HLS（此https URL）开源我们的工作。
英文摘要
This paper presents ContractHIL-HLS, a contract-aligned multi-agent workflow for practical high-level synthesis (HLS) engineering. The workflow makes three contributions. First, it introduces a structured contract as the semantic-alignment and task-execution artifact that translates natural language requirements into explicit interfaces, constraints, validation checks, and rollback rules. Second, it incorporates hardware information into the feedback loop by feeding HLS, Vivado, PYNQ runtime, power, and failure evidence back into generation, thereby extending LLM-assisted HLS from kernel code toward system- and board-level closure. Third, it decomposes agents by semantic lowering and execution tasks rather than by conversational roles: a Contract Agent lowers natural language into the contract, an HTML Agent renders the contract as persistent structured HTML, and a Hardware-in-the-Loop Agent implements and revises the design with measured evidence. We evaluate ContractHIL-HLS in two parts. On 94 locally executable HLS-Eval tasks, the structured contract provides the largest small design gain, improving the estimated single-sample testbench pass rate from 64.0% to 70.2%; the full flow reaches 70.4% pass@1 and 76.6% pass@5. Because HLS-Eval does not exercise board-level design, we also validate ContractHIL-HLS on a board tested ML-KEM/ML-DSA post-quantum cryptography (PQC) secure-message accelerator, where the retained dual-bitstream organization reduces six-message average text runtime from 207.3 ms to 52.4 ms with positive routed WNS on both images while preserving decrypted-message verification. We open-source our work at BJUT-CS316-LAB/ContractHIL-HLS (https://github.com/BJUT-CS316-LAB/ContractHIL-HLS).
