ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs. - Lik Tung Fu; Jie Zhou 001; Shaokai Ren; Mengli Zhang; Jia Xiong; Hugo Jiang; Nan Guan; Xi Wang 009; Jun Yang 006 (CoRR, 2026)

Automated SVA Generation with LLMs. - Lik Tung Fu; Qihang Wang; Shaokai Ren; Mengli Zhang; Sichao Yang; Jun Liu; Xi Wang (CoRR, 2026)