From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification. - Junhao Ye; Yuchen Hu; Ke Xu; Dingrong Pan; Qichun Chen; Jie Zhou; Shuai Zhao 004; Xinwei Fang; Xi Wang 009; Nan Guan; Zhe Jiang 004 (CoRR, 2025)