proteus-core / proteus
The SpinalHDL design of the Proteus core, an extensible RISC-V core.
☆49Updated this week
Alternatives and similar repositories for proteus:
Users that are interested in proteus are comparing it to the libraries listed below
- ☆28Updated 3 months ago
- Setup scripts and files needed to compile CoreMark on RISC-V☆65Updated 8 months ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- CVA6 SDK containing RISC-V tools and Buildroot☆63Updated 9 months ago
- ☆78Updated last year
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- AIA IP compliant with the RISC-V AIA spec☆36Updated last month
- StateMover is a checkpoint-based debugging framework for FPGAs.☆19Updated 2 years ago
- RISC-V Nexus Trace TG documentation and reference code☆50Updated 2 months ago
- HW Design Collateral for Caliptra RoT IP☆84Updated this week
- Advanced Architecture Labs with CVA6☆54Updated last year
- SystemVerilog Functional Coverage for RISC-V ISA☆25Updated 5 months ago
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆45Updated 4 months ago
- Platform Level Interrupt Controller☆37Updated 10 months ago
- RISC-V IOMMU in verilog☆17Updated 2 years ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆88Updated this week
- ☆85Updated 2 years ago
- RISC-V IOMMU Demo (Linux & Bao)☆19Updated last year
- A demo system for Ibex including debug support and some peripherals☆62Updated 2 weeks ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- RISC-V Formal Verification Framework☆129Updated last week
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆30Updated 10 months ago
- The RTL source for AnyCore RISC-V☆31Updated 3 years ago
- RISC-V Vector (RVV) Automatic Tests Generator with full instructions coverage, including self-checking test and signature test (RISC-V Co…☆14Updated 11 months ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 10 months ago
- The multi-core cluster of a PULP system.☆85Updated last week
- RISC-V IOMMU Specification☆109Updated last week
- (System)Verilog to Chisel translator☆112Updated 2 years ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆48Updated 2 months ago
- RISC-V模拟器,相关硬件实现`riscv-isa-sim`以及模拟器pk, bbl的指导手册☆52Updated 4 years ago