{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T21:44:55Z","timestamp":1773265495770,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T00:00:00Z","timestamp":1768780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T00:00:00Z","timestamp":1768780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1,19]]},"DOI":"10.1109\/asp-dac66049.2026.11420300","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T19:51:15Z","timestamp":1773172275000},"page":"526-532","source":"Crossref","is-referenced-by-count":0,"title":["AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code"],"prefix":"10.1109","author":[{"given":"Yan","family":"Tan","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology,Microelectronics Thrust,Guangzhou"}]},{"given":"Xiangchen","family":"Meng","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology,Microelectronics Thrust,Guangzhou"}]},{"given":"Zijun","family":"Jiang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology,Microelectronics Thrust,Guangzhou"}]},{"given":"Yangdi","family":"Lyu","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology,Microelectronics Thrust,Guangzhou"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00181"},{"key":"ref2","article-title":"Codegen2: Lessons for training llms on programming and natural languages","author":"Nijkamp","year":"2023","journal-title":"arXiv preprint arXiv:2305.02309"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/socc66126.2025.11235413"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3697118"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691788"},{"key":"ref8","article-title":"Origen: Enhancing rtl code generation with code-tocode augmentation and self-reflection","author":"Cui","year":"2024","journal-title":"arXiv preprint arXiv:2407.16237"},{"key":"ref9","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021","journal-title":"arXiv preprint rXiv:2107.03374"},{"key":"ref10","article-title":"Autochip: Automating hdl generation using llm feedback","author":"Thakur","year":"2023","journal-title":"arXiv preprint arXiv:2311.04887"},{"key":"ref11","first-page":"1","article-title":"Rtlfixer: Automatically fixing rtl syntax errors with large language model","volume-title":"Proceedings of the 61st ACM\/IEEE Design Automation Conference","author":"Tsai"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i1.32007"},{"key":"ref13","article-title":"Myhdl: A python-based hardware description language","author":"Decaluwe","year":"2003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218680"},{"key":"ref15","article-title":"Betterv: Controlled verilog generation with discriminative guidance","author":"Pei","year":"2024","journal-title":"arXiv preprint arXiv:2402.03375"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3643681"},{"key":"ref17","article-title":"Codegen: An open large language model for code with multi-turn program synthesis","volume-title":"arXiv preprint arXiv:2203.13474","author":"Nijkamp","year":"2022"},{"key":"ref18","article-title":"Gpt-3.5-turbo","year":"2023"},{"key":"ref19","article-title":"Gpt-4 technical report","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473904"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691683"},{"key":"ref22","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023","journal-title":"arXiv preprint arXiv:2308.12950"},{"key":"ref23","article-title":"Qwen technical report","volume-title":"arXiv preprint arXiv:2309.16609","author":"Bai","year":"2023"},{"key":"ref24","article-title":"Deepseek-coder: When the large language model meets programming-the rise of code intelligence","author":"Guo","year":"2024","journal-title":"arXiv preprint arXiv:2401.14196"},{"key":"ref25","article-title":"Introducing the next generation of claude","year":"2024"}],"event":{"name":"2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Lantau, Hong Kong","start":{"date-parts":[[2026,1,19]]},"end":{"date-parts":[[2026,1,22]]}},"container-title":["2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11420221\/11420229\/11420300.pdf?arnumber=11420300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T05:38:55Z","timestamp":1773207535000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11420300\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,19]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/asp-dac66049.2026.11420300","relation":{},"subject":[],"published":{"date-parts":[[2026,1,19]]}}}