本文提出 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，同时保持了解密消息验证。作者已在 GitHub 上开源该工作。