CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation

Xiao Tan, Cynthia Sturton

CHARGE is an automated framework that uses CWE hierarchies and large language models to generate SystemVerilog assertions for unverified RTL modules, enabling security property inf…