arXiv cs.AI· Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian, Lu Yi·· 1 天前AI 评分22
SecTB-RTL：审计 AI 生成的 RTL 验证计划在安全回归代理上的表现
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
AI 导读
研究团队提出 SecTB-RTL 可审计框架，覆盖 31 项任务和 124 个自建硬件安全回归用例。首次确认性运行因 provider 拒绝响应 schema 而失败，仅做 schema 修复后冻结的后续运行完成 1,860 次调用，provider 接受 1,857 条响应，但仅 9 条通过生产语义验证器。
来源：arXiv cs.AI · arxiv.org