RPTU-EIS / upec-boom-verification-suite
This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.
β17Updated 2 years ago
Alternatives and similar repositories for upec-boom-verification-suite:
Users that are interested in upec-boom-verification-suite are comparing it to the libraries listed below
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operatβ¦β17Updated 6 months ago
- Microarchitectural control flow integrity (πCFI) verification checks whether there exists a control or data flow from instruction's opeβ¦β12Updated last month
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations madeβ¦β81Updated last year
- A Modular Open-Source Hardware Fuzzing Frameworkβ32Updated 3 years ago
- SystemVerilog Functional Coverage for RISC-V ISAβ27Updated 7 months ago
- Generator of arithmetic circuits (multipliers, adders) and approximate circuitsβ33Updated 2 months ago
- The RTL source for AnyCore RISC-Vβ32Updated 3 years ago
- Advanced Architecture Labs with CVA6β58Updated last year
- CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platformβ19Updated 2 months ago
- β20Updated 5 years ago
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assemblyβ15Updated 3 years ago
- CVA6 SDK containing RISC-V tools and Buildrootβ64Updated 10 months ago
- BlackParrot on Zynqβ38Updated last month
- A 32-bit RISC-V Processor Designed with High-Level Synthesisβ51Updated 5 years ago
- β15Updated 4 years ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).β55Updated last month
- zero-riscy CPU Coreβ16Updated 6 years ago
- Project repo for the POSH on-chip network generatorβ45Updated last month
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.β41Updated 2 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip developmentβ41Updated 4 years ago
- Tests for example Rocket Custom Coprocessorsβ74Updated 5 years ago
- Port fpga-zynq (rocket-chip) to Xilinx ZYNQ Ultrascale+ board (ZCU102)β61Updated 2 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.β52Updated last week
- DUTH RISC-V Superscalar Microprocessorβ31Updated 6 months ago
- Proof of concepts for speculative attacks using the BOOM core (https://github.com/riscv-boom/riscv-boom)β63Updated 5 years ago
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute fβ¦β34Updated this week
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensionsβ61Updated 11 months ago
- Andes Vector Extension support added to riscv-dvβ15Updated 4 years ago
- Fast Symbolic Repair of Hardware Design Codeβ22Updated 3 months ago
- Implementation of the Advanced Encryption Standard in Chiselβ20Updated 3 years ago