RPTU-EIS / SecureBOOM Star 10 Code Issues Pull requests 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) security hardware spectre hardware-security design-methods meltdown formal-verification-for-designers Updated Jan 17, 2025 Verilog
RPTU-EIS / OkapiBOOM Star 1 Code Issues Pull requests This repository contains the hardware layout and verification IP for the implementation of Okapi in the RISC-V core BOOM. security hardware spectre formal-verification hardware-security meltdown formal-verification-for-designers Updated Jul 29, 2025 Verilog