{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:57:11Z","timestamp":1763704631272,"version":"3.45.0"},"reference-count":38,"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\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","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.11240942","type":"proceedings-article","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:39:34Z","timestamp":1763663974000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Building Reasoning LLMs for Hardware Design Generation via Function-Aligned Differentiated Revision"],"prefix":"10.1109","author":[{"given":"Weimin","family":"Fu","sequence":"first","affiliation":[{"name":"Kansas State University,Manhattan,USA"}]},{"given":"Shijie","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,China"}]},{"given":"Kaichen","family":"Yang","sequence":"additional","affiliation":[{"name":"Michigan Technological University,Houghton,USA"}]},{"given":"Xuan Silvia","family":"Zhang","sequence":"additional","affiliation":[{"name":"Northeastern University,Boston,USA"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,China"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[{"name":"Kansas State University,Manhattan,USA"}]}],"member":"263","reference":[{"key":"ref1","first-page":"6","article-title":"Evaluating llms for hardware design and test","volume-title":"CoRR","volume":"abs\/2405.02326","author":"Blocklove","year":"2024"},{"key":"ref2","first-page":"5","article-title":"Promptv: Leveraging llm-powered multi-agent prompting for high-quality verilog generation","volume-title":"CoRR","volume":"abs\/2412.11014","author":"Mi","year":"2024"},{"key":"ref3","first-page":"7","article-title":"Correctbench: Automatic testbench generation with functional self-correction using llms for HDL design","volume-title":"CoRR","volume":"abs\/2411.08510","author":"Qiu","year":"2024"},{"key":"ref4","first-page":"8","article-title":"Advanced large language model (llm)-driven verilog development: Enhancing power, performance, and area optimization in code synthesis","volume-title":"CoRR","volume":"abs\/2312.01022","author":"Thorat","year":"2023"},{"key":"ref5","first-page":"7","article-title":"Rtlfixer: Automatically fixing RTL syntax errors with large language models","volume-title":"CoRR","volume":"abs\/2311.16543","author":"Tsai","year":"2023"},{"key":"ref6","first-page":"5","article-title":"Verilogreader: Llm-aided hardware test generation","volume-title":"CoRR","volume":"abs\/2406.04373","author":"Ma","year":"2024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2024.3483089"},{"key":"ref8","first-page":"9","article-title":"Origen:enhancing rtl code generation with code-to-code augmentation and self-reflection","volume-title":"CoRR","volume":"abs\/2407.16237","author":"Cui","year":"2024"},{"key":"ref9","first-page":"16","article-title":"Codev: Empowering llms for verilog generation through multi-level summarization","volume-title":"CoRR","volume":"abs\/2407.10424","author":"Zhao","year":"2024"},{"key":"ref10","first-page":"9","article-title":"Large language model for verilog generation with golden code feedback","volume-title":"CoRR","volume":"abs\/2407.18271","author":"Wang","year":"2024"},{"year":"2024","key":"ref11","article-title":"Chatgpt-4o"},{"year":"2025","key":"ref12","article-title":"Claude 3.7 sonnet"},{"key":"ref13","article-title":"Deepseek-v3 technical report","volume-title":"CoRR","volume":"abs\/2412.19437","author":"Liu","year":"2024"},{"year":"2025","key":"ref14","article-title":"Gemma 3"},{"year":"2024","key":"ref15","article-title":"Learning to reason with LLMs"},{"year":"2025","key":"ref16","article-title":"OpenAI o3-mini"},{"key":"ref17","article-title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning","volume-title":"CoRR","volume":"abs\/2501.12948","author":"Guo","year":"2025"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2024.3487486"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/iccd63220.2024.00033"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i1.32007"},{"year":"2025","key":"ref21","article-title":"Sky-t1: Train your own o1 preview model within $450"},{"article-title":"Starcoder 2 and the stack v2: The next generation","year":"2024","author":"Lozhkov","key":"ref22"},{"article-title":"Betterv: Controlled verilog generation with discriminative guidance","volume-title":"Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024","author":"Pei","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3676801"},{"key":"ref25","article-title":"Llm4sechw: Leveraging domain specific large language model for hardware debugging","volume-title":"CoRR","volume":"abs\/2401.16448","author":"Fu","year":"2024"},{"key":"ref26","article-title":"Mg-verilog: Multi-grained dataset towards enhanced llm-assisted verilog generation","volume-title":"CoRR","volume":"abs\/2407.01910","author":"Zhang","year":"2024"},{"key":"ref27","article-title":"From english to ASIC: hardware implementation with large language model","volume-title":"CoRR","volume":"abs\/2403.07039","author":"Goh","year":"2024"},{"key":"ref28","article-title":"Verilator: Open simulation-growing up","author":"Snyder","year":"2013","journal-title":"DVClub Bristol"},{"key":"ref29","article-title":"Deepseekmath: Pushing the limits of mathematical reasoning in open language models","volume-title":"CoRR","volume":"abs\/2402.03300","author":"Shao","year":"2024"},{"article-title":"Qwen2.5 technical report","year":"2024","author":"Yang","key":"ref30"},{"year":"2025","key":"ref31","article-title":"Qwq-32b: Embracing the power of reinforcement learning"},{"key":"ref32","article-title":"Flashattention-2: Faster attention with better parallelism and work partitioning","volume-title":"The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024","author":"Dao","year":"2024"},{"article-title":"Galore: Memory-efficient LLM training by gradient low-rank projection","volume-title":"Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024","author":"Zhao","key":"ref33"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.52202\/079017-3846","article-title":"Pissa: Principal singular values and singular vectors adaptation of large language models","volume-title":"Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024","author":"Meng"},{"article-title":"TRL: Transformer Reinforcement Learning","year":"2023","author":"von Werra","key":"ref35"},{"key":"ref36","article-title":"Cognitive behaviors that enable self-improving reasoners, or, four habits of highly effective stars","volume-title":"CoRR","volume":"abs\/2503.01307","author":"Gandhi","year":"2025"},{"article-title":"Chipnemo: Domain-adapted llms for chip design","year":"2023","author":"Liu","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/iclad65226.2025.00028"}],"event":{"name":"2025 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","start":{"date-parts":[[2025,10,26]]},"location":"Munich, Germany","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\/11240942.pdf?arnumber=11240942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:46:35Z","timestamp":1763703995000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11240942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iccad66269.2025.11240942","relation":{},"subject":[],"published":{"date-parts":[[2025,10,26]]}}}