TY  - RPRT
TI  - Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification
AU  - Yonghao Wang
AU  - Jiaxin Zhou
AU  - Yang Yin
AU  - Hongqin Lyu
AU  - Zhiteng Chao
AU  - Wenchao Ding
AU  - Jing Ye
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2026
UR  - https://arxiv.org/abs/2602.15388
ID  - 2602.15388
ER  -