{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T09:02:08Z","timestamp":1783069328843,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,22]]},"DOI":"10.1145\/3787109.3815310","type":"proceedings-article","created":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:17:19Z","timestamp":1781792239000},"page":"948-953","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2614-0341","authenticated-orcid":false,"given":"Yiting","family":"Wang","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4346-8516","authenticated-orcid":false,"given":"Guoheng","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7064-2335","authenticated-orcid":false,"given":"Wanghao","family":"Ye","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6759-8949","authenticated-orcid":false,"given":"Gang","family":"Qu","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4990-1729","authenticated-orcid":false,"given":"Ang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD58807.2023.10299874"},{"key":"e_1_3_3_1_3_2","unstructured":"Kaiyan Chang et\u00a0al. 2023. ChipGPT: How far are we from natural language hardware design. CoRR abs\/2305.14019 (2023)."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Mark Chen et\u00a0al. 2021. Evaluating Large Language Models Trained on Code. arXiv 2107.03374 (July 2021). 10.48550\/arXiv.2107.03374","DOI":"10.48550\/arXiv.2107.03374"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Yonggan Fu et\u00a0al. 2023. GPT4AIGChip: Towards Next-Generation AI Accelerator Design Automation via Large Language Models. arXiv 2309.10730 (September 2023). 10.48550\/arXiv.2309.10730Accepted by ICCAD 2023.","DOI":"10.48550\/arXiv.2309.10730"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Daya Guo et\u00a0al. 2025. DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning. arXiv 2501.12948 (January 2025). 10.48550\/arXiv.2501.12948","DOI":"10.48550\/arXiv.2501.12948"},{"key":"e_1_3_3_1_7_2","unstructured":"Mingjie Liu et\u00a0al. 2023. ChipNeMo: Domain-Adapted LLMs for Chip Design. CoRR abs\/2311.00176 (2023)."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Shang Liu et\u00a0al. 2024. RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024).","DOI":"10.1109\/TCAD.2024.3483089"},{"key":"e_1_3_3_1_10_2","unstructured":"Shang Liu et\u00a0al. 2024. RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique. arxiv:https:\/\/arXiv.org\/abs\/2312.08617\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2312.08617"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473904"},{"key":"e_1_3_3_1_12_2","unstructured":"Youssef Mroueh. 2025. Reinforcement Learning with Verifiable Rewards: GRPO\u2019s Effective Loss Dynamics and Success Amplification. arxiv:https:\/\/arXiv.org\/abs\/2503.06639\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/2503.06639"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Long Ouyang et\u00a0al. 2022. Training Language Models to Follow Instructions with Human Feedback. Advances in Neural Information Processing Systems 35 (2022) 27730\u201327744.","DOI":"10.52202\/068431-2011"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430634"},{"key":"e_1_3_3_1_15_2","volume-title":"Forty-first International Conference on Machine Learning, ICML","author":"Pei Zehua","year":"2024","unstructured":"Zehua Pei et\u00a0al. 2024. BetterV: Controlled Verilog Generation with Discriminative Guidance. In Forty-first International Conference on Machine Learning, ICML. OpenReview.net."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"John Schulman et\u00a0al. 2017. Proximal Policy Optimization Algorithms. arXiv 1707.06347 (July 2017). 10.48550\/arXiv.1707.06347","DOI":"10.48550\/arXiv.1707.06347"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Zhihong Shao et\u00a0al. 2024. DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models. arXiv 2402.03300 (February 2024). 10.48550\/arXiv.2402.03300","DOI":"10.48550\/arXiv.2402.03300"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Shailja Thakur et\u00a0al. 2024. VeriGen: A Large Language Model for Verilog Code Generation. ACM Trans. Design Autom. Electr. Syst. (2024).","DOI":"10.1145\/3643681"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3657353"},{"key":"e_1_3_3_1_20_2","unstructured":"Ning Wang et\u00a0al. 2025. Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning. arxiv:https:\/\/arXiv.org\/abs\/2407.18271\u00a0[cs.AR] https:\/\/arxiv.org\/abs\/2407.18271"},{"key":"e_1_3_3_1_21_2","unstructured":"Yiting Wang et\u00a0al. 2026. Symrtlo: Enhancing rtl code optimization with llms and neuron-inspired symbolic reasoning. Advances in Neural Information Processing Systems 38 (23 Apr 2026) 50093\u201350118."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Jason Wei et\u00a0al. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. arXiv 2201.11903 (January 2022). 10.48550\/arXiv.2201.11903","DOI":"10.48550\/arXiv.2201.11903"},{"key":"e_1_3_3_1_23_2","unstructured":"Stephen Williams. 2023. The ICARUS Verilog Compilation System. [Online]. Available: https:\/\/github.com\/steveicarus\/iverilog."},{"key":"e_1_3_3_1_24_2","unstructured":"Tian Xie et\u00a0al. 2025. Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning. arxiv:https:\/\/arXiv.org\/abs\/2502.14768\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/2502.14768"},{"key":"e_1_3_3_1_25_2","unstructured":"Yiyao Yang et\u00a0al. 2025. HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers. arxiv:https:\/\/arXiv.org\/abs\/2501.04908\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2501.04908"},{"key":"e_1_3_3_1_26_2","unstructured":"Ruizhe Zhong et\u00a0al. 2023. Llm4eda: Emerging progress in large language models for electronic design automation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2401.12224 (2023)."}],"event":{"name":"GLSVLSI '26: Great Lakes Symposium on VLSI 2026","location":"Canandaigua , NY , USA","acronym":"GLSVLSI '26","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2026"],"original-title":[],"deposited":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T14:20:54Z","timestamp":1781792454000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787109.3815310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":25,"alternative-id":["10.1145\/3787109.3815310","10.1145\/3787109"],"URL":"https:\/\/doi.org\/10.1145\/3787109.3815310","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}