Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
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: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RPTU-EIS%2FSecureBOOM
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Verilog
Repo Size: 11.1 MB
Dependencies: pending
Created: almost 2 years ago
Updated: 9 months ago
Last pushed: 9 months ago
Last synced: 9 months ago
Topics: design-methods, formal-verification-for-designers, hardware, hardware-security, meltdown, security, spectre