TY  - RPRT
TI  - SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
AU  - Dipayan Saha
AU  - Shams Tarek
AU  - Hasan Al Shaikh
AU  - Khan Thamid Hasan
AU  - Pavan Sai Nalluri
AU  - Md. Ajoad Hasan
AU  - Nashmin Alam
AU  - Jingbo Zhou
AU  - Sujan Kumar Saha
AU  - Mark Tehranipoor
AU  - Farimah Farahmandi
PY  - 2025
UR  - https://arxiv.org/abs/2506.20415
ID  - 2506.20415
ER  -