@misc{indiciaeb942c83eb245,
  title = {From Indiscriminate to Targeted: Functionally Critical Signal-Driven Assertion Generation using LLMs for Efficient RTL Verification},
  author = {Yonghao Wang and Hongqin Lyu and Boling Chen and Jiaxin Zhou and MinYang Bao and Wenchao Ding and Feng Gu and Zhiteng Chao and Jianan Mu and Kan Shi and Tiancheng Wang and Huawei Li},
  year = {2026},
  url = {https://arxiv.org/abs/2604.08932},
  note = {Source identifier: 2604.08932}
}