CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation

본문 미리보기

arXiv:2607.27776v1 Announce Type: new Abstract: 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 reasoning process that leverages the hierarchical nature of CWE entries to improve accuracy when identifying security-critical assets in unverified RTL modules. As a result, the approach can infer expected security behaviors and generate properties from identified assets and