Cover Image

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	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
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
by: Hasan, Md Ajoad, et al.
Published: (2026)

LLM for SoC Security: A Paradigm Shift
by: Saha, Dipayan, et al.
Published: (2023)

Assertain: Automated Security Assertion Generation Using Large Language Models
by: Tarek, Shams, et al.
Published: (2026)

BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection
by: Tarek, Shams, et al.
Published: (2025)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
by: Saha, Dipayan, et al.
Published: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
by: Rahman, Tanvir, et al.
Published: (2026)

CircuitFormer: A Circuit Language Model for Analog Topology Design from Natural Language Prompt
by: Islam, Md Touhidul, et al.
Published: (2026)

SVAgent: AI Agent for Hardware Security Verification Assertion
by: Guo, Rui, et al.
Published: (2025)

ChartZero: Synthetic Priors Enable Zero Shot Chart Data Extraction
by: Islam, Md Touhidul, et al.
Published: (2026)

DeepV: A Model-Agnostic Retrieval-Augmented Framework for Verilog Code Generation with a High-Quality Knowledge Base
by: Ibnat, Zahin, et al.
Published: (2025)

Multi-Agent Training-free Urban Food Delivery System using Resilient UMST Network
by: Hasan, Md Nahid, et al.
Published: (2026)

SoK: Security of Autonomous LLM Agents in Agentic Commerce
by: Mao, Qian'ang, et al.
Published: (2026)

Courtroom-Style Multi-Agent Debate with Progressive RAG and Role-Switching for Controversial Claim Verification
by: Chowdhury, Masnun Nuha, et al.
Published: (2026)

xChemAgents: Agentic AI for Explainable Quantum Chemistry
by: Polat, Can, et al.
Published: (2025)

DPBench: Large Language Models Struggle with Simultaneous Coordination
by: Hasan, Najmul, et al.
Published: (2026)

A Physics-Informed Fixed Skyroad Model for Continuous UAS Traffic Management (C-UTM)
by: Zahed, Muhammad Junayed Hasan, et al.
Published: (2025)

VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
by: Calzada, Paul E., et al.
Published: (2025)

Conjunctive Prompt Attacks in Multi-Agent LLM Systems
by: Arif, Nokimul Hasan, et al.
Published: (2026)

Synergy Over Spiral: A Logistics 5.0 Game-Theoretic Model for Trust-Fatigue Co-regulation in Human-Cobot Order Picking
by: Dhar, Soumyadeep, et al.
Published: (2025)

Enhancing Online Learning Efficiency Through Heterogeneous Resource Integration with a Multi-Agent RAG System
by: Srivastav, Devansh, et al.
Published: (2025)

A Conflict-Aware Optimal Goal Assignment Algorithm for Multi-Robot Systems
by: Aakash, et al.
Published: (2024)

From Model Design to Organizational Design: Complexity Redistribution and Trade-Offs in Generative AI
by: Hasan, Sharique, et al.
Published: (2025)

BMC4TimeSec: Verification Of Timed Security Protocols
by: Zbrzezny, Agnieszka M.
Published: (2026)

Security Threats in Agentic AI System
by: Khan, Raihan, et al.
Published: (2024)

Don't Trust Stubborn Neighbors: A Security Framework for Agentic Networks
by: Abedini, Samira, et al.
Published: (2026)

Sentinel Agents for Secure and Trustworthy Agentic AI in Multi-Agent Systems
by: Gosmar, Diego, et al.
Published: (2025)

A review on reinforcement learning methods for mobility on demand systems
by: Chouaki, Tarek, et al.
Published: (2025)

AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
by: Mitra, Shaswata, et al.
Published: (2026)

SoDA: An Efficient Interaction Paradigm for the Agentic Web
by: Cui, Zicai, et al.
Published: (2025)

AMUSE: Audio-Visual Benchmark and Alignment Framework for Agentic Multi-Speaker Understanding
by: Chowdhury, Sanjoy, et al.
Published: (2025)

SAGEval: The frontiers of Satisfactory Agent based NLG Evaluation for reference-free open-ended text
by: Ghosh, Reshmi, et al.
Published: (2024)

Picking the Right Specialist: Attentive Neural Process-based Selection of Task-Specialized Models as Tools for Agentic Healthcare Systems
by: Saha, Pramit, et al.
Published: (2026)

Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems
by: Allegrini, Edoardo, et al.
Published: (2025)

SentinelAgent: Intent-Verified Delegation Chains for Securing Federal Multi-Agent AI Systems
by: Patil, KrishnaSaiReddy
Published: (2026)

Emergent Language: A Survey and Taxonomy
by: Peters, Jannik, et al.
Published: (2024)

Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
by: Aryan, Aman, et al.
Published: (2024)

The Aegis Protocol: A Foundational Security Framework for Autonomous AI Agents
by: Adapala, Sai Teja Reddy, et al.
Published: (2025)

ReSo: A Reward-driven Self-organizing LLM-based Multi-Agent System for Reasoning Tasks
by: Zhou, Heng, et al.
Published: (2025)

Multi-Agentic Approach for History Matching of Oil Reservoirs
by: Samigullin, Linar, et al.
Published: (2026)