SecTB-RTL发布并暴露验证落差

作者团队提出并报告了SecTB-RTL框架，用于审计AI生成的RTL验证计划；该框架覆盖31项任务和124个由作者编写的硬件安全回归测试。后续运行中，1,860次调用有1,857个响应通过提供方校验，但只有9个通过生产语义验证，显示两类验证结果存在明显落差。 论文称，生成规则与执行规则不匹配，因此将这次结果记录为工具验证事件，不报告提示词效果估计。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。