TY  - RPRT
TI  - QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
AU  - Yutong Wu
AU  - Chenrui Cao
AU  - Pengwei Jin
AU  - Di Huang
AU  - Rui Zhang
AU  - Xishan Zhang
AU  - Zidong Du
AU  - Qi Guo
AU  - Xing Hu
PY  - 2026
UR  - https://arxiv.org/abs/2603.14239
ID  - 2603.14239
ER  -