@article{contracthilhlscontractalignedmultiagentw,
  title = {ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design},
  author = {Jingbo Zhang and Haoxiang Sun and Wenbo Wang and Wenbo Zhang},
  year = {2026},
  eprint = {2607.25283},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.25283},
}