@misc{indiciaed8c2a0121e5d, title = {Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction}, author = {Hanxian Huang and Zhenghan Lin and Zixuan Wang and Xin Chen and Ke Ding and Jishen Zhao}, year = {2024}, url = {https://arxiv.org/abs/2406.00115}, note = {Source identifier: 2406.00115} }