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