vexingcodes / spike-pluginLinks
Example code for an MMIO plugin for Spike, the RISC-V ISA simulator.
☆12Updated 6 years ago
Alternatives and similar repositories for spike-plugin
Users that are interested in spike-plugin are comparing it to the libraries listed below
Sorting:
- Examples for creating AXI-interfaced peripherals in Chisel☆75Updated 10 years ago
- SystemVerilog synthesis tool☆226Updated 10 months ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- SystemVerilog frontend for Yosys☆194Updated last week
- Chisel Learning Journey☆111Updated 2 years ago
- ☆10Updated 3 years ago
- Provides dot visualizations of chisel/firrtl circuits☆123Updated 2 years ago
- educational microarchitectures for risc-v isa☆67Updated 6 years ago
- An implementation of RISC-V☆47Updated last month
- Python wrapper for verilator model☆93Updated last year
- ☆12Updated 4 years ago
- Chisel components for FPGA projects☆128Updated 2 years ago
- ☆193Updated 2 years ago
- Python-based IP-XACT parser and utilities☆143Updated last year
- Antmicro's fast, vendor-neutral DMA IP in Chisel☆129Updated 8 months ago
- ☆113Updated 2 months ago
- Python packages providing a library for Verification Stimulus and Coverage☆137Updated this week
- Modular Multi-ported SRAM-based Memory☆31Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆98Updated last year
- RISC-V Formal Verification Framework☆178Updated 2 weeks ago
- ☆151Updated 2 years ago
- A demo system for Ibex including debug support and some peripherals☆84Updated 2 weeks ago
- A Style Guide for the Chisel Hardware Construction Language☆109Updated 4 years ago
- eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V☆238Updated last week
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆60Updated last month
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 3 years ago
- ☆91Updated 3 months ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆88Updated last year
- Debuggable hardware generator☆71Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 3 months ago