论文10:35CHARGE框架：用CWE层次结构生成硬件安全断言用GPT-4.1给硬件RTL自动生成安全断言，Hack@DAC'21上89%能跑通，还抓到一个新bug，做芯片安全的值得看。#CHARGE#CWE#SystemVerilog#GPT-4.11 个信源在谈事件专题aarXiv: OpenAI@Xiao Tan, Cynthia Sturton2 个信源在谈原文稍后读已读值得跟进有用关注 CHARGE