SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912449644462080 |
|---|---|
| author | Saha, Dipayan Tarek, Shams Shaikh, Hasan Al Hasan, Khan Thamid Nalluri, Pavan Sai Hasan, Md. Ajoad Alam, Nashmin Zhou, Jingbo Saha, Sujan Kumar Tehranipoor, Mark Farahmandi, Farimah |
| author_facet | Saha, Dipayan Tarek, Shams Shaikh, Hasan Al Hasan, Khan Thamid Nalluri, Pavan Sai Hasan, Md. Ajoad Alam, Nashmin Zhou, Jingbo Saha, Sujan Kumar Tehranipoor, Mark Farahmandi, Farimah |
| contents | Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification techniques struggle to keep pace due to significant challenges in automation, scalability, comprehensiveness, and adaptability. The advent of large language models (LLMs), with their remarkable capabilities in natural language understanding, code generation, and advanced reasoning, presents a new paradigm for tackling these issues. Moving beyond monolithic models, an agentic approach allows for the creation of multi-agent systems where specialized LLMs collaborate to solve complex problems more effectively. Recognizing this opportunity, we introduce SV-LLM, a novel multi-agent assistant system designed to automate and enhance SoC security verification. By integrating specialized agents for tasks like verification question answering, security asset identification, threat modeling, test plan and property generation, vulnerability detection, and simulation-based bug validation, SV-LLM streamlines the workflow. To optimize their performance in these diverse tasks, agents leverage different learning paradigms, such as in-context learning, fine-tuning, and retrieval-augmented generation (RAG). The system aims to reduce manual intervention, improve accuracy, and accelerate security analysis, supporting proactive identification and mitigation of risks early in the design cycle. We demonstrate its potential to transform hardware security practices through illustrative case studies and experiments that showcase its applicability and efficacy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_20415 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Saha, Dipayan Tarek, Shams Shaikh, Hasan Al Hasan, Khan Thamid Nalluri, Pavan Sai Hasan, Md. Ajoad Alam, Nashmin Zhou, Jingbo Saha, Sujan Kumar Tehranipoor, Mark Farahmandi, Farimah Cryptography and Security Artificial Intelligence Multiagent Systems Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification techniques struggle to keep pace due to significant challenges in automation, scalability, comprehensiveness, and adaptability. The advent of large language models (LLMs), with their remarkable capabilities in natural language understanding, code generation, and advanced reasoning, presents a new paradigm for tackling these issues. Moving beyond monolithic models, an agentic approach allows for the creation of multi-agent systems where specialized LLMs collaborate to solve complex problems more effectively. Recognizing this opportunity, we introduce SV-LLM, a novel multi-agent assistant system designed to automate and enhance SoC security verification. By integrating specialized agents for tasks like verification question answering, security asset identification, threat modeling, test plan and property generation, vulnerability detection, and simulation-based bug validation, SV-LLM streamlines the workflow. To optimize their performance in these diverse tasks, agents leverage different learning paradigms, such as in-context learning, fine-tuning, and retrieval-augmented generation (RAG). The system aims to reduce manual intervention, improve accuracy, and accelerate security analysis, supporting proactive identification and mitigation of risks early in the design cycle. We demonstrate its potential to transform hardware security practices through illustrative case studies and experiments that showcase its applicability and efficacy. |
| title | SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models |
| topic | Cryptography and Security Artificial Intelligence Multiagent Systems |
| url | https://arxiv.org/abs/2506.20415 |