tomverbeure / mr1
MR1 formally verified RISC-V CPU
☆55Updated 6 years ago
Alternatives and similar repositories for mr1:
Users that are interested in mr1 are comparing it to the libraries listed below
- SoftCPU/SoC engine-V☆54Updated last month
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆48Updated 8 months ago
- Small Processing Unit 32: A compact RV32I CPU written in Verilog☆69Updated 2 years ago
- Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations☆74Updated last year
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆98Updated last month
- Cornell CSL's Modular RISC-V RV64IM Out-of-Order Processor Built with PyMTL☆89Updated 5 years ago
- A tiny POWER Open ISA soft processor written in Chisel☆108Updated 2 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 5 years ago
- Naive Educational RISC V processor☆83Updated 6 months ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆62Updated 11 months ago
- Open Processor Architecture☆26Updated 9 years ago
- A bare bones, basic, ZipCPU system designed for both testing and quick integration into new systems☆43Updated 2 years ago
- Experiments with fixed function renderers and Chisel HDL☆59Updated 6 years ago
- Reusable Verilog 2005 components for FPGA designs☆42Updated 2 months ago
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆74Updated 6 years ago
- A reimplementation of a tiny stack CPU☆82Updated last year
- ☆78Updated last year
- FPGA based microcomputer sandbox for software and RTL experimentation☆55Updated this week
- RiscyOO: RISC-V Out-of-Order Processor☆156Updated 4 years ago
- Demo SoC for SiliconCompiler.☆59Updated 2 months ago
- A Verilog Synthesis Regression Test☆37Updated last year
- 5-stage RISC-V CPU, originally developed for RISCBoy☆27Updated last year
- Featherweight RISC-V implementation☆52Updated 3 years ago
- pulp_soc is the core building component of PULP based SoCs☆79Updated last month
- Simple runtime for Pulp platforms☆47Updated last month
- Using VexRiscv without installing Scala☆38Updated 3 years ago
- LatticeMico32 soft processor☆105Updated 10 years ago
- ✔️ Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.☆33Updated this week
- ☆63Updated 6 years ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆33Updated 8 years ago