Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA. - Weihua Xiao; Derek Ekberg; Siddharth Garg; Ramesh Karri (CoRR, 2025)