H. Zhang, “A Verification-Guided Multi-Agent Framework for Reliable RTL Generation and Optimization”, TCSISR, vol. 13, pp. 260–274, Aug. 2026, doi: 10.62051/r6y8jj34.