HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs. - Chang-Chih Meng; Yu-Ren Lu; Guan-Yu Lin; Tsung Tai Yeh; Kai-Chiang Wu; I-Chen Wu (CoRR, 2026)