@misc{indiciaeb00d1cc44fe3,
  title = {ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs},
  author = {Lik Tung Fu and Jie Zhou and Shaokai Ren and Mengli Zhang and Jia Xiong and Hugo Jiang and Nan Guan and Xi Wang and Jun Yang},
  year = {2026},
  doi = {10.1145/3770743.3804146},
  url = {https://arxiv.org/abs/2604.02811},
  note = {Source identifier: 2604.02811}
}