proteus-core / proteusLinks
The SpinalHDL design of the Proteus core, an extensible RISC-V core.
☆55Updated 3 weeks ago
Alternatives and similar repositories for proteus
Users that are interested in proteus are comparing it to the libraries listed below
Sorting:
- HW Design Collateral for Caliptra RoT IP☆103Updated this week
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆37Updated last year
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆89Updated 2 weeks ago
- Setup scripts and files needed to compile CoreMark on RISC-V☆69Updated last year
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆101Updated this week
- AIA IP compliant with the RISC-V AIA spec☆42Updated 6 months ago
- IOPMP IP☆19Updated 3 weeks ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆117Updated 3 weeks ago
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆50Updated 9 months ago
- RiftCore is a 9-stage, single-issue, out-of-order 64-bits RISC-V Core, which supports RV64IMC and 3-level Cache System☆42Updated 2 years ago
- ☆81Updated last year
- ☆32Updated 7 months ago
- CVA6 SDK containing RISC-V tools and Buildroot☆71Updated last month
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated 2 months ago
- RISC-V Verification Interface☆99Updated 2 months ago
- Platform Level Interrupt Controller☆41Updated last year
- ☆42Updated 3 years ago
- ☆89Updated 3 years ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆63Updated 6 months ago
- ☆64Updated 2 months ago
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆45Updated 3 years ago
- RISC-V Formal Verification Framework☆143Updated this week
- RISC-V Nexus Trace TG documentation and reference code☆51Updated 7 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆178Updated 2 months ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- RISC-V IOMMU Demo (Linux & Bao)☆22Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆87Updated last year
- Antmicro's fast, vendor-neutral DMA IP in Chisel☆122Updated 2 months ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆85Updated 4 years ago
- ☆182Updated last year