proteus-core / proteus
The SpinalHDL design of the Proteus core, an extensible RISC-V core.
☆39Updated 3 months ago
Related projects: ⓘ
- HW Design Collateral for Caliptra RoT IP☆65Updated this week
- RISC-V Nexus Trace TG documentation and reference code☆39Updated this week
- AIA IP compliant with the RISC-V AIA spec☆26Updated 2 weeks ago
- Setup scripts and files needed to compile CoreMark on RISC-V☆61Updated 2 months ago
- RISC-V IOMMU in verilog☆16Updated 2 years ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆71Updated 3 weeks ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆15Updated last year
- CVA6 SDK containing RISC-V tools and Buildroot☆59Updated 2 months ago
- Repository containing the guide and code for booting RISC-V full system linux using gem5.☆43Updated 3 years ago
- ☆76Updated 2 years ago
- RISC-V Formal Verification Framework☆95Updated 4 months ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆26Updated 4 months ago
- ☆23Updated 7 months ago
- RISC-V Vector (RVV) Automatic Tests Generator with full instructions coverage, including self-checking test and signature test (RISC-V Co…☆12Updated 5 months ago
- Proposal for new Embedded ABI (EABI) for use in embedded RISC-V systems.☆26Updated 3 years ago
- ☆76Updated 6 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆48Updated last month
- Chisel implementation of AES☆22Updated 4 years ago
- ☆72Updated 3 weeks ago
- Port fpga-zynq (rocket-chip) to Xilinx ZYNQ Ultrascale+ board (ZCU102)☆52Updated last year
- RISC-V IOMMU Demo (Linux & Bao)☆14Updated 9 months ago
- This repository contains the hardware design source files of the Hex Five X300 RISC-V SoC. The X300 is Hex Five's official reference HW p…☆28Updated 7 months ago
- A demo system for Ibex including debug support and some peripherals☆51Updated 3 weeks ago
- ☆51Updated 5 months ago
- CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform☆16Updated 5 months ago
- ☆17Updated 2 years ago
- RISCV model for Verilator/FPGA targets☆44Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆19Updated 3 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆20Updated last week
- RISC-V IOMMU Specification☆84Updated last week