SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. - Dipayan Saha; Shams Tarek; Hasan Al Shaikh; Khan Thamid Hasan; Pavan Sai Nalluri; Md. Ajoad Hasan; Nashmin Alam; Jingbo Zhou; Sujan Kumar Saha; Mark Tehranipoor; Farimah Farahmandi (IACR Cryptol. ePrint Arch., 2025)