RPTU-EIS/SecureBOOM
Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)
VerilogNOASSERTION
Watchers
No one’s watching this repository yet.
Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)
VerilogNOASSERTION
No one’s watching this repository yet.