CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation

Xiao Tan, Cynthia Sturton

This paper presents CHARGE, an automated framework for generating security properties for unverified RTL modules using CWEs and large language models (LLMs). The hallmark is a reas…