tomverbeure / mr1Links
MR1 formally verified RISC-V CPU
☆57Updated 7 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☆55Updated 10 months ago
- Cornell CSL's Modular RISC-V RV64IM Out-of-Order Processor Built with PyMTL☆91Updated 6 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…☆79Updated 3 years ago
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆50Updated last year
- Small Processing Unit 32: A compact RV32I CPU written in Verilog☆71Updated 3 years ago
- A tiny POWER Open ISA soft processor written in Chisel☆114Updated 2 years ago
- Basic RISC-V CPU implementation in VHDL.☆172Updated 5 years ago
- A lightweight, open source and FPGA-friendly 32-bit CPU core based on an original instruction set☆65Updated 8 months ago
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆76Updated 6 years ago
- A bare bones, basic, ZipCPU system designed for both testing and quick integration into new systems☆45Updated 3 years ago
- FPGA Assembly (FASM) Parser and Generator☆99Updated 3 years ago
- Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations☆76Updated 2 years ago
- 5-stage RISC-V CPU, originally developed for RISCBoy☆35Updated 2 years ago
- Featherweight RISC-V implementation☆53Updated 4 years ago
- Dual-issue RV64IM processor for fun & learning☆64Updated 2 years ago
- Instruction set simulator for RISC-V, MIPS and ARM-v6m☆109Updated 4 years ago
- Another tiny RISC-V implementation☆64Updated 4 years ago
- Parallel Array of Simple Cores. Multicore processor.☆99Updated 6 years ago
- A computer (FPGA SoC) based on the MRISC32-A1 CPU☆55Updated 2 years ago
- A pipelined RISC-V processor☆63Updated 2 years ago
- Experiments with fixed function renderers and Chisel HDL☆60Updated 6 years ago
- Visual Simulation of Register Transfer Logic☆110Updated 5 months ago
- ☆63Updated 7 years ago
- The openMSP430 is a synthesizable 16bit microcontroller core written in Verilog.☆72Updated 7 years ago
- Lipsi: Probably the Smallest Processor in the World☆89Updated last year
- PicoRV☆43Updated 5 years ago
- 😎 A curated list of awesome RISC-V implementations☆142Updated 2 years ago
- Demo SoC for SiliconCompiler.☆62Updated 2 weeks ago
- CoreScore☆172Updated 2 months ago
- RiscyOO: RISC-V Out-of-Order Processor☆170Updated 5 years ago