TY - RPRT TI - UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification AU - Junhao Ye AU - Dingrong Pan AU - Hanyuan Liu AU - Yuchen Hu AU - Jie Zhou AU - Ke Xu AU - Xinwei Fang AU - Xi Wang AU - Nan Guan AU - Zhe Jiang PY - 2026 UR - https://arxiv.org/abs/2605.04704 ID - 2605.04704 ER -