Zhang, H. A Verification-Guided Multi-Agent Framework for Reliable RTL Generation and Optimization. TCSISR 2026, 13, 260-274. https://doi.org/10.62051/r6y8jj34.