arXiv · Machine Learning· Hang Xiao, Chuhong Xu, Kainan Zhou, Gangzhen Qian, Lu Yi·· 14 小时前AI 评分53
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个由作者编写的硬件安全回归测试。一次后续运行完成1,860次调用，其中1,857个响应通过提供方校验，但只有9个通过生产语义验证；由于生成规则与执行规则不匹配，论文将其记录为工具验证事件，不报告提示词效果估计。
来源：arXiv · Machine Learning · arxiv.org