incoresemi / river_core
RiVer Core is an open source Python based RISC-V Core Verification framework.
☆22Updated 5 months ago
Alternatives and similar repositories for river_core:
Users that are interested in river_core are comparing it to the libraries listed below
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope …☆12Updated last month
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- An open-source custom cache generator.☆33Updated last year
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 11 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated 2 years ago
- ☆25Updated last week
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆51Updated 3 months ago
- A fault-injection framework using Chisel and FIRRTL☆35Updated 2 years ago
- RISCV core RV32I/E.4 threads in a ring architecture☆32Updated last year
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Alpha64 R10000 Two-Way Superscalar Processor☆12Updated 5 years ago
- A Modular Open-Source Hardware Fuzzing Framework☆32Updated 3 years ago
- The RTL source for AnyCore RISC-V☆32Updated 3 years ago
- ☆42Updated 5 months ago
- RiftCore is a 9-stage, single-issue, out-of-order 64-bits RISC-V Core, which supports RV64IMC and 3-level Cache System☆38Updated 2 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 4 years ago
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)☆53Updated 4 years ago
- Platform Level Interrupt Controller☆40Updated 11 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆51Updated 5 years ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆30Updated 11 months 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 last month
- A reference book on System-on-Chip Design☆25Updated last year
- SystemVerilog overhaul of ESP L2 and LLC caches with directory based protocol☆17Updated last month
- ArmleoCPU - RISC-V CPU RV64GC, SMP, Linux, Doom. Work in progress to execute first instruction with new feature set☆6Updated 2 years ago
- DUTH RISC-V Superscalar Microprocessor☆31Updated 5 months ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- pulp_soc is the core building component of PULP based SoCs☆79Updated last month
- ☆22Updated 7 years ago
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆34Updated 4 years ago