TY - RPRT TI - HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs AU - Chang-Chih Meng AU - Yu-Ren Lu AU - Guan-Yu Lin AU - Tsung Tai Yeh AU - Kai-Chiang Wu AU - I-Chen Wu PY - 2026 UR - https://arxiv.org/abs/2604.27643 ID - 2604.27643 ER -