Unsaid, Unsafe? Implicit Security Obligations in LLM-Based RTL Code Generation
RTL-Obliger is presented, a neuro-symbolic framework that infers implicit security obligations of register-transfer-level RTL in a functionality-preserving two-stage generation and raises mean all-pass rates.
Guang Yang, Xing Hu, Xiang Chen et al.
· 0 citations