TY - RPRT TI - CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference AU - Kangwei Xu AU - Grace Li Zhang AU - Ulf Schlichtmann AU - Bing Li PY - 2025 UR - https://arxiv.org/abs/2511.16395 ID - 2511.16395 ER -