{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T09:02:09Z","timestamp":1783069329137,"version":"3.54.6"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003452","name":"Innovation and Technology Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003452","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,26]]},"DOI":"10.1109\/iccad66269.2025.11240664","type":"proceedings-article","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:39:34Z","timestamp":1763663974000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions"],"prefix":"10.1109","author":[{"given":"Jing","family":"Wang","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shang","family":"Liu","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yao","family":"Lu","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiyao","family":"Xie","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473893"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680328"},{"key":"ref3","article-title":"Agentfl: Scaling llm-based fault localization to project-level context","author":"Qin","year":"2024"},{"key":"ref4","article-title":"A unified debugging approach via llm-based multi-agent synergy","author":"Lee","year":"2024"},{"key":"ref5","article-title":"Aligning llms for fl-free program repair","author":"Xu","year":"2024"},{"key":"ref6","article-title":"Chatdbg: An ai-powered debugging assistant","author":"Levin","year":"2024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-acl.49"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3657353"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3735638"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST59942.2023.10409307"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/lad62341.2024.10691788"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691738"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3135932.3135941"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3291276.3292420"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691801"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/lad62341.2024.10691721"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691856"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3676781"},{"key":"ref19","article-title":"Gpt-4 technical report","author":"Achiam","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref21","article-title":"Gemma: Open models based on gemini research and technology","author":"Team","year":"2024"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"ref23","article-title":"ROUGE: A package for automatic evaluation of summaries","volume-title":"Text Summarization Branches Out","author":"Lin","year":"2004"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0031-3203(96)00142-2"},{"key":"ref25","article-title":"Mistral 7b","author":"Jiang","year":"2023"},{"key":"ref26","article-title":"Deepseek-coder: When the large language model meets programming\u2013the rise of code intelligence","author":"Guo","year":"2024"},{"key":"ref27","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023"}],"event":{"name":"2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","location":"Munich, Germany","start":{"date-parts":[[2025,10,26]]},"end":{"date-parts":[[2025,10,30]]}},"container-title":["2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11240608\/11240621\/11240664.pdf?arnumber=11240664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:42:37Z","timestamp":1763703757000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11240664\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iccad66269.2025.11240664","relation":{},"subject":[],"published":{"date-parts":[[2025,10,26]]}}}