msyksphinz-self / chisel-socLinks
☆9Updated 4 years ago
Alternatives and similar repositories for chisel-soc
Users that are interested in chisel-soc are comparing it to the libraries listed below
Sorting:
- 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
- SystemVerilog Functional Coverage for RISC-V ISA☆29Updated last month
- YosysHQ SVA AXI Properties☆41Updated 2 years ago
- ☆30Updated last week
- The RTL source for AnyCore RISC-V☆32Updated 3 years ago
- DUTH RISC-V Superscalar Microprocessor☆31Updated 8 months ago
- AXI3 Bus Functional Models (Initiator & Target)☆29Updated 2 years ago
- ☆21Updated 5 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆85Updated last year
- Verilog implementation of a 4-way Set associative cache with a write buffer (write) policy and FIFO replacement policy☆41Updated 8 years ago
- HW-SW Co-Simulation Library for AMBA AXI BFM using DPI/VPI☆32Updated 6 months ago
- verification of simple axi-based cache☆18Updated 6 years ago
- The memory model was leveraged from micron.☆22Updated 7 years ago
- ☆29Updated 4 years ago
- DUTH RISC-V Microprocessor☆20Updated 7 months ago
- ☆20Updated 5 years ago
- Platform Level Interrupt Controller☆41Updated last year
- RTL code for AXI4 Interconnect (Verilog). Supports weighted round-robin arbitration, n-channel master, 4Kb splitting, reorder transaction…☆18Updated 4 months ago
- Provides dot visualizations of chisel/firrtl circuites☆12Updated 6 years ago
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆50Updated 8 months ago
- Skid Buffer and Pipeline Skid Buffer designed in Verilog/System Verilog.☆19Updated 10 months ago
- Advanced Architecture Labs with CVA6☆65Updated last year
- A configurable SRAM generator☆53Updated last week
- For contributions of Chisel IP to the chisel community.☆64Updated 8 months ago
- The official NaplesPU hardware code repository☆17Updated 5 years ago
- An almost empty chisel project as a starting point for hardware design☆32Updated 5 months ago
- The PULP RI5CY core modified for Verilator modeling and as a GDB server.☆24Updated 6 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆34Updated last year
- LIS Network-on-Chip Implementation☆30Updated 8 years ago
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆57Updated this week