AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study

Documenti analoghi

• LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
  di: Hasan, Md Ajoad, et al.
  Pubblicazione: (2026)
• SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
  di: Saha, Dipayan, et al.
  Pubblicazione: (2025)
• Assertain: Automated Security Assertion Generation Using Large Language Models
  di: Tarek, Shams, et al.
  Pubblicazione: (2026)
• ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
  di: Saha, Dipayan, et al.
  Pubblicazione: (2025)
• SVAgent: AI Agent for Hardware Security Verification Assertion
  di: Guo, Rui, et al.
  Pubblicazione: (2025)