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