Zhang, Haijian. “A Verification-Guided Multi-Agent Framework for Reliable RTL Generation and Optimization”. Transactions on Computer Science and Intelligent Systems Research, vol. 13, Aug. 2026, pp. 260-74, https://doi.org/10.62051/r6y8jj34.