TY  - RPRT
TI  - Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
AU  - Hang Xiao
AU  - Chuhong Xu
AU  - Kainan Zhou
AU  - Gangzhen Qian
AU  - Lu Yi
PY  - 2026
UR  - https://arxiv.org/abs/2609.19844
ID  - 2609.19844
ER  -