Unsaid, Unsafe? Implicit Security Obligations in LLM-Based RTL Code Generation 精读
深度精读投 IEEE TDSC 的浙大+南通大学论文——研究 LLM 生成 RTL(硬件描述语言)代码时被忽略的「隐式安全义务」问题。软件漏洞还能打补丁,不安全的硬件一旦流片就无法修复。作者构建 SECRTL-GEN 基准:98 个真实 SoC IP 设计×4 种硬件语言=392 个任务,实测 5 个前沿模型功能通过率 73-79% 但安全通过率仅 14-35%,功能强不等于安全。提出 RTL-Obliger 神经符号框架:LLM 提取功能语义图,符号引擎对照 CWE 模式本体做确定性匹配找出「缓解证据缺口」,最后两阶段生成先写功能草稿再做义务引导局部修订,将全通过率从基线 49.6-51.4% 提升到 61.6%,token 成本仅为编码 Agent 的 1/3.6 到 1/8.7。