GitHub / 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)
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RPTU-EIS%2FSecureBOOM
PURL: pkg:github/RPTU-EIS/SecureBOOM
Stars: 7
Forks: 1
Open issues: 0
License: other
Language: Verilog
Size: 11.1 MB
Dependencies parsed at: Pending
Created at: about 3 years ago
Updated at: 6 months ago
Pushed at: 6 months ago
Last synced at: 6 months ago
Topics: design-methods, formal-verification-for-designers, hardware, hardware-security, meltdown, security, spectre