TY  - RPRT
TI  - ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
AU  - Lik Tung Fu
AU  - Jie Zhou
AU  - Shaokai Ren
AU  - Mengli Zhang
AU  - Jia Xiong
AU  - Hugo Jiang
AU  - Nan Guan
AU  - Xi Wang
AU  - Jun Yang
PY  - 2026
DO  - 10.1145/3770743.3804146
UR  - https://arxiv.org/abs/2604.02811
ID  - 2604.02811
ER  -