@misc{indiciae80cd3750b08a,
  title = {Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT},
  author = {Zhiteng Chao and Yonghao Wang and Xinyu Zhang and Jiaxin Zhou and Tenghui Hua and Husheng Han and Tianmeng Yang and Jianan Mu and Bei Yu and Rui Zhang and Jing Ye and Huawei Li},
  year = {2025},
  url = {https://arxiv.org/abs/2511.13139},
  note = {Source identifier: 2511.13139}
}