TY  - RPRT
TI  - AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications
AU  - Yuchao Wu
AU  - Wenji Fang
AU  - Jing Wang
AU  - Wenkai Li
AU  - Ziyan Guo
AU  - Zhiyao Xie
PY  - 2026
UR  - https://arxiv.org/abs/2605.27472
ID  - 2605.27472
ER  -