CHARGE框架：用CWE层次结构生成硬件安全断言

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中一个此前未被发现的新缺陷。