efabless / raven-picorv32
Silicon-validated SoC implementation of the PicoSoc/PicoRV32
☆265Updated 4 years ago
Alternatives and similar repositories for raven-picorv32:
Users that are interested in raven-picorv32 are comparing it to the libraries listed below
- RISC-V CPU Core☆317Updated 9 months ago
- This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no…☆405Updated this week
- Common SystemVerilog components☆587Updated 2 weeks ago
- VeeR EL2 Core☆266Updated this week
- A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog☆313Updated 10 months ago
- Bus bridges and other odds and ends☆523Updated last month
- SSRV(Super-Scalar RISC-V) --- Super-scalar out-of-order RV32IMC CPU core, 6.4 CoreMark/MHz.☆210Updated 4 years ago
- AXI interface modules for Cocotb☆244Updated last year
- A DDR3 memory controller in Verilog for various FPGAs☆423Updated 3 years ago
- Opensource DDR3 Controller☆279Updated this week
- FuseSoC-based SoC for VeeR EH1 and EL2☆308Updated 3 months ago
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆460Updated last month
- Basic RISC-V Test SoC☆116Updated 5 years ago
- RISC-V Debug Support for our PULP RISC-V Cores☆247Updated 4 months ago
- Functional verification project for the CORE-V family of RISC-V cores.☆506Updated this week
- BaseJump STL: A Standard Template Library for SystemVerilog☆559Updated last week
- A simple, basic, formally verified UART controller☆292Updated last year
- Verilog UART☆146Updated 11 years ago
- AMBA bus generator including AXI4, AXI3, AHB, and APB☆192Updated last year
- The UVM written in Python☆414Updated 2 months ago
- UVM 1.2 port to Python☆250Updated last month
- ☆230Updated 2 years ago
- AMBA AXI VIP☆387Updated 8 months ago
- SystemC/TLM-2.0 Co-simulation framework☆236Updated 4 months ago
- AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream t…☆135Updated 3 weeks ago
- A simple RISC-V processor for use in FPGA designs.☆269Updated 7 months ago
- Verilog Configurable Cache☆173Updated 3 months ago
- Tool to generate register RTL, models, and docs using SystemRDL or JSpec input☆198Updated 4 months ago
- Verilog UART☆459Updated 2 weeks ago
- Example designs for FPGA Drive FMC☆237Updated 2 months ago