Hyperfuzzing for SoC security validation
Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan · 2020
Automated validation of security properties in modern systems-on-chip (SoC) designs is challenging due to three reasons: (i) specification of security in the presence of adversarial behavior, (ii) co-validation of hardware (HW) and firmware (FW) as security bugs may span the HW/FW interface, and (iii) scaling verification to the analysis of large systems-on-chip designs.