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.