tom01h / zero-riscyLinks
zero-riscy CPU Core
☆16Updated 7 years ago
Alternatives and similar repositories for zero-riscy
Users that are interested in zero-riscy are comparing it to the libraries listed below
Sorting:
- A verilog implementation for Network-on-Chip☆76Updated 7 years ago
- Advanced Architecture Labs with CVA6☆66Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆88Updated last year
- Vector processor for RISC-V vector ISA☆126Updated 4 years ago
- HDL code for a DDR4 memory controller implementing an Open Page Policy and Out of Order execution.☆79Updated 7 years ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆59Updated 3 weeks ago
- SystemVerilog Functional Coverage for RISC-V ISA☆30Updated 3 months ago
- ☆34Updated 6 years ago
- ☆53Updated 6 years ago
- General Purpose AXI Direct Memory Access☆58Updated last year
- An AXI4 crossbar implementation in SystemVerilog☆173Updated this week
- For pre-silicon developers of RISC-V systems, riscv-vip is a SystemVerilog project that helps with pre-si verification and debug☆63Updated 4 years ago
- A dynamic verification library for Chisel.☆155Updated 9 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆89Updated last week
- IEEE 754 single and double precision floating point library in systemverilog and vhdl☆68Updated 8 months ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆19Updated 2 years ago
- CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform☆19Updated last month
- A Fast, Low-Overhead On-chip Network☆221Updated last month
- An Open-Source Design and Verification Environment for RISC-V☆83Updated 4 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆35Updated last year
- Base on Synopsys platform using VCS,DC,ICC,PT.☆12Updated 4 years ago
- ☆97Updated last year
- AMBA bus generator including AXI, AHB, and APB☆106Updated 4 years ago
- A Chisel RTL generator for network-on-chip interconnects☆209Updated 2 weeks ago
- This is a tutorial on standard digital design flow☆78Updated 4 years ago
- CVA6 SDK containing RISC-V tools and Buildroot☆73Updated 2 months ago
- RTL Network-on-Chip Router Design in SystemVerilog by Andrea Galimberti, Filippo Testa and Alberto Zeni☆129Updated 7 years ago
- AXI4 and AXI4-Lite interface definitions☆94Updated 4 years ago
- RaveNoC is a configurable HDL NoC (Network-On-Chip) suitable for MPSoCs and different MP applications☆174Updated 9 months ago
- Linux-capable superscalar out-of-order RISC core (with Cache& MMU) and SoC, having been verified on Xilinx Kintex-7 FPGA.☆56Updated last year