Zhang, H. (2026) “A Verification-Guided Multi-Agent Framework for Reliable RTL Generation and Optimization”, Transactions on Computer Science and Intelligent Systems Research, 13, pp. 260–274. doi:10.62051/r6y8jj34.