TY  - RPRT
TI  - DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
AU  - Yonghao Wang
AU  - Jiaxin Zhou
AU  - Hongqin Lyu
AU  - Zhiteng Chao
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2025
UR  - https://arxiv.org/abs/2509.14668
ID  - 2509.14668
ER  -