TY  - RPRT
TI  - AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
AU  - Wenji Fang
AU  - Mengming Li
AU  - Min Li
AU  - Zhiyuan Yan
AU  - Shang Liu
AU  - Hongce Zhang
AU  - Zhiyao Xie
PY  - 2026
UR  - https://arxiv.org/abs/2402.00386
ID  - 2402.00386
ER  -