SVAgent：用于硬件安全验证断言的 AI 代理

作者：Rui Guo, Avinash Ayalasomayajula, Henian Li, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi
译者：知道创宇404实验室翻译组
原文链接：https://arxiv.org/html/2507.16203v1
摘要
使用SystemVerilog断言（SVA）进行验证是检测电路设计漏洞的最流...