TY  - RPRT
TI  - SVAgent: AI Agent for Hardware Security Verification Assertion
AU  - Rui Guo
AU  - Avinash Ayalasomayajula
AU  - Henian Li
AU  - Jingbo Zhou
AU  - Sujan Kumar Saha
AU  - Farimah Farahmandi
PY  - 2025
UR  - https://arxiv.org/abs/2507.16203
ID  - 2507.16203
ER  -