SVAgent：用于硬件安全验证断言的 AI 智能体
密码学与安全
2025-07-23 v1 人工智能
硬件体系结构
机器学习
摘要
使用 SystemVerilog 断言（SVA）进行验证是检测电路设计漏洞最流行的方法之一。然而，随着集成电路设计的全球化以及安全需求的不断升级，SVA 开发模式暴露出了重大局限性。它不仅开发效率低下，而且无法有效应对现代复杂集成电路中日益增多的安全漏洞。针对这些挑战，本文提出了一种创新的 SVA 自动生成框架 SVAgent。SVAgent 引入了需求分解机制，将原本复杂的需求转化为结构化、逐步可解的细粒度问题解决链。实验表明，SVAgent 能够有效抑制幻觉和随机答案的影响，且 SVA 的准确性和一致性等关键评估指标均显著优于现有框架。更重要的是，我们成功将 SVAgent 集成到了最主流的集成电路漏洞评估框架中，并在真实的工程设计环境中验证了其实用性和可靠性。
引用
@article{arxiv.2507.16203,
title = {SVAgent: AI Agent for Hardware Security Verification Assertion},
author = {Rui Guo and Avinash Ayalasomayajula and Henian Li and Jingbo Zhou and Sujan Kumar Saha and Farimah Farahmandi},
journal= {arXiv preprint arXiv:2507.16203},
year = {2025}
}