tomverbeure / mr1
MR1 formally verified RISC-V CPU
☆54Updated 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 year
- Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations☆70Updated last year
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆46Updated 5 months ago
- A tiny POWER Open ISA soft processor written in Chisel☆107Updated 2 years ago
- The specification for the FIRRTL language☆51Updated this week
- Small Processing Unit 32: A compact RV32I CPU written in Verilog☆67Updated 2 years ago
- A bare bones, basic, ZipCPU system designed for both testing and quick integration into new systems☆43Updated 2 years ago
- Cornell CSL's Modular RISC-V RV64IM Out-of-Order Processor Built with PyMTL☆85Updated 5 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…☆77Updated 2 years ago
- Naive Educational RISC V processor☆78Updated 4 months ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆67Updated 10 months ago
- FPGA Assembly (FASM) Parser and Generator☆90Updated 2 years ago
- Instruction set simulator for RISC-V, MIPS and ARM-v6m☆93Updated 3 years ago
- Experiments with fixed function renderers and Chisel HDL☆59Updated 5 years ago
- FuseSoC standard core library☆126Updated 3 weeks ago
- Documenting the Lattice ECP5 bit-stream format.☆54Updated last year
- ♻️ Convert the NEORV32 processor into a synthesizable plain-Verilog netlist module using GHDL.☆73Updated this week
- SoC based on VexRiscv and ICE40 UP5K☆153Updated 10 months ago
- The multi-core cluster of a PULP system.☆69Updated this week
- Facilitates building open source tools for working with hardware description languages (HDLs)☆63Updated 5 years ago
- Yet Another RISC-V Implementation☆86Updated 4 months ago
- Basic RISC-V CPU implementation in VHDL.☆165Updated 4 years ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 8 months ago
- CoreScore☆143Updated 3 weeks 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
- A lightweight, open source and FPGA-friendly 32-bit CPU core based on an original instruction set☆60Updated 2 months ago
- LatticeMico32 soft processor☆104Updated 10 years ago
- User-friendly explanation of Yosys options☆112Updated 3 years ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆83Updated 3 years ago