TY  - RPRT
TI  - From Indiscriminate to Targeted: Functionally Critical Signal-Driven Assertion Generation using LLMs for Efficient RTL Verification
AU  - Yonghao Wang
AU  - Hongqin Lyu
AU  - Boling Chen
AU  - Jiaxin Zhou
AU  - MinYang Bao
AU  - Wenchao Ding
AU  - Feng Gu
AU  - Zhiteng Chao
AU  - Jianan Mu
AU  - Kan Shi
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2026
UR  - https://arxiv.org/abs/2604.08932
ID  - 2604.08932
ER  -