tomverbeure / mr1
MR1 formally verified RISC-V CPU
☆52Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for mr1
- Cornell CSL's Modular RISC-V RV64IM Out-of-Order Processor Built with PyMTL☆84Updated 5 years ago
- SoftCPU/SoC engine-V☆54Updated last year
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆45Updated 2 months ago
- Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations☆68Updated last year
- Small Processing Unit 32: A compact RV32I CPU written in Verilog☆64Updated 2 years ago
- ReonV is a modified version of the Leon3, a synthesisable VHDL model of a 32-bit processor originally compliant with the SPARC V8 archite…☆75Updated 2 years ago
- A lightweight, open source and FPGA-friendly 32-bit CPU core based on an original instruction set☆59Updated last week
- A bare bones, basic, ZipCPU system designed for both testing and quick integration into new systems☆43Updated 2 years ago
- ♻️ Convert the NEORV32 processor into a synthesizable plain-Verilog netlist module using GHDL.☆62Updated last week
- Naive Educational RISC V processor☆71Updated 3 weeks ago
- A Verilog Synthesis Regression Test☆34Updated 7 months ago
- ☆63Updated 5 years ago
- Open Processor Architecture☆26Updated 8 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 5 months ago
- Another tiny RISC-V implementation☆52Updated 3 years ago
- A tiny POWER Open ISA soft processor written in Chisel☆102Updated last year
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 4 years ago
- Spen's Official OpenOCD Mirror☆47Updated 8 months ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆35Updated last year
- Reusable Verilog 2005 components for FPGA designs☆36Updated last year
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆41Updated 2 weeks ago
- FPGA Assembly (FASM) Parser and Generator☆90Updated 2 years ago
- A pipelined RISC-V processor☆47Updated 11 months ago
- Dual-issue RV64IM processor for fun & learning☆57Updated last year
- Using VexRiscv without installing Scala☆36Updated 3 years ago
- SoC based on VexRiscv and ICE40 UP5K☆151Updated 7 months ago
- Yet Another RISC-V Implementation☆84Updated last month
- ☆26Updated 3 years ago
- A RISC-V Core (RV32I) written in Chisel HDL☆96Updated 4 months ago
- ☆36Updated 2 years ago