{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:39:11Z","timestamp":1791459551995,"version":"4.3.4"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002367","name":"Chinese Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"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,4,20]]},"DOI":"10.23919\/date69613.2026.11539498","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT"],"prefix":"10.23919","author":[{"given":"Zhiteng","family":"Chao","sequence":"first","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yonghao","family":"Wang","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaxin","family":"Zhou","sequence":"additional","affiliation":[{"name":"Beijing Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tenghui","family":"Hua","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Husheng","family":"Han","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tianmeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Peking University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianan","family":"Mu","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bei","family":"Yu","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rui","family":"Zhang","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jing","family":"Ye","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huawei","family":"Li","sequence":"additional","affiliation":[{"name":"CAS,State Key Lab of Processors, Institute of Computing Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"The dawn of ai-native eda: Promises and challenges of large circuit models","author":"Chen","year":"2024"},{"key":"ref2","article-title":"Gpt-4 technical report","author":"Achiam","year":"2023"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3695988"},{"key":"ref4","first-page":"1","article-title":"Data is all you need: Finetuning llms for chip design via an automated design-data augmentation framework","volume-title":"Proceedings of the 61st ACM\/IEEE Design Automation Conference","author":"Chang"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3658493"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3483089"},{"key":"ref7","article-title":"Make every move count: Llm-based high-quality rtl code generation using mcts","author":"DeLorenzo","year":"2024"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473904"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2025.3604320"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3643681"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3690635"},{"key":"ref15","article-title":"Codechain: Towards modular code generation through chain of self-revisions with representative sub-modules","author":"Le","year":"2023"},{"key":"ref16","volume-title":"Top-down digital VLSI design: from architectures to gate-level circuits and FPGAs","author":"Kaeslin","year":"2014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2001.915205"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2019"},{"key":"ref19","article-title":"Self-consistency improves chain of thought reasoning in language models","author":"Wang","year":"2022"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.52202\/075280-0517"},{"key":"ref21","article-title":"Large language model guided tree-of-thought","author":"Long","year":"2023"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i16.29720"},{"key":"ref23","article-title":"Codecot and beyond: Learning to program and test like a developer","author":"Huang","year":"2023"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-acl.124"},{"key":"ref25","article-title":"Tree-of-code: A tree-structured exploring framework for end-to-end code generation and execution in complex task handling","author":"Ni","year":"2024"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10993029"},{"key":"ref27","article-title":"Deepseek-coder-v2: Breaking the barrier of closed-source models in code intelligence","author":"Zhu","year":"2024"},{"key":"ref28","article-title":"Benchmarking Large Language Models for Automated Verilog RTL Code Generation","author":"Thakur","year":"2022"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2024.naacl-long.102","article-title":"Reasoning or reciting? exploring the capabilities and limitations of language models through counterfactual tasks","author":"Wu","year":"2024"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539498.pdf?arnumber=11539498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T05:09:12Z","timestamp":1780636152000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":29,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539498","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}