10:35
官方一手arXiv: OpenAI@Xiao Tan, Cynthia Sturton
推荐理由：用GPT-4.1给硬件RTL自动生成安全断言，Hack@DAC'21上89%能跑通，还抓到一个新bug，做芯片安全的值得看。
SystemVerilog
共 1 条相关 AI 资讯
7月31日
10:35
CHARGE是一个基于CWE层次结构和LLM的自动化框架，面向未验证的RTL模块生成安全属性。在Hack@DAC18、19、21的SoC设计上，使用OpenAI的GPT-4.1评估，CHARGE检测出42个已知缺陷中的27个。针对Hack@DAC21的OpenPiton SoC，89%的生成SVA可在Cadence JasperGold FPV中运行，92.2%为非空断言。与人工编写的属性相比，CHARGE在三个缺陷上正确写出了人工属性出错的内容。此外，CHARGE生成的属性还识别出OpenPiton SoC中一个此前未被发现的新缺陷。