tomverbeure / mr1Links
MR1 formally verified RISC-V CPU
☆53Updated 6 years ago
Alternatives and similar repositories for mr1
Users that are interested in mr1 are comparing it to the libraries listed below
Sorting:
- SoftCPU/SoC engine-V☆54Updated 5 months ago
- Cornell CSL's Modular RISC-V RV64IM Out-of-Order Processor Built with PyMTL☆88Updated 6 years ago
- Small Processing Unit 32: A compact RV32I CPU written in Verilog☆69Updated 3 years ago
- Basic RISC-V CPU implementation in VHDL.☆169Updated 4 years ago
- A bare bones, basic, ZipCPU system designed for both testing and quick integration into new systems☆43Updated 2 years ago
- Demo SoC for SiliconCompiler.☆60Updated this week
- Lipsi: Probably the Smallest Processor in the World☆86Updated last year
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆46Updated last year
- Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations☆75Updated 2 years ago
- Featherweight RISC-V implementation☆53Updated 3 years ago
- FPGA Assembly (FASM) Parser and Generator☆97Updated 3 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
- 😎 A curated list of awesome RISC-V implementations☆138Updated 2 years ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆145Updated 3 weeks ago
- Yet Another RISC-V Implementation☆97Updated 11 months ago
- Visual Simulation of Register Transfer Logic☆101Updated 3 weeks ago
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆75Updated 6 years ago
- CoreScore☆162Updated 3 weeks ago
- Instruction set simulator for RISC-V, MIPS and ARM-v6m☆101Updated 3 years ago
- A tiny POWER Open ISA soft processor written in Chisel☆110Updated 2 years ago
- Another tiny RISC-V implementation☆59Updated 4 years ago
- A Video display simulator☆172Updated 3 months ago
- Parallel Array of Simple Cores. Multicore processor.☆99Updated 6 years ago
- Mutation Cover with Yosys (MCY)☆86Updated last week
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆119Updated 2 months ago
- 5-stage RISC-V CPU, originally developed for RISCBoy☆32Updated 2 years ago
- WARP-V is an open-source RISC-V CPU core generator written in TL-Verilog.☆240Updated 3 months ago
- Naive Educational RISC V processor☆88Updated last month
- A Tiny Processor Core☆110Updated last month
- A pipelined RISC-V processor☆57Updated last year