@misc{indiciae8fd571b2dd65,
  title = {Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification},
  author = {Yonghao Wang and Jiaxin Zhou and Yang Yin and Hongqin Lyu and Zhiteng Chao and Wenchao Ding and Jing Ye and Tiancheng Wang and Huawei Li},
  year = {2026},
  url = {https://arxiv.org/abs/2602.15388},
  note = {Source identifier: 2602.15388}
}