CTSRD-CHERI / BlueStuffLinks
A Bluespec SystemVerilog library of miscellaneous components
☆16Updated 2 months ago
Alternatives and similar repositories for BlueStuff
Users that are interested in BlueStuff are comparing it to the libraries listed below
Sorting:
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆34Updated 8 years ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆35Updated 3 months ago
- "Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)☆18Updated 9 months ago
- RISC-V BSV Specification☆20Updated 5 years ago
- A standalone parser for BSV (Bluespec SystemVerilog) written in Go☆13Updated 8 years ago
- Consistency checker for memory subsystem traces☆22Updated 8 years ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Updated 7 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Updated 2 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆57Updated 5 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated 11 months ago
- Riscy Processors - Open-Sourced RISC-V Processors☆74Updated 6 years ago
- Hardware implementation of an OmniXtend Memory Endpoint/Lowest Point of Coherence.☆18Updated last month
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- LIS Network-on-Chip Implementation☆30Updated 8 years ago
- Chisel artifacts developed under IBM's involvement with the DARPA PERFECT program☆30Updated last month
- Mutation Cover with Yosys (MCY)☆84Updated 2 weeks ago
- For contributions of Chisel IP to the chisel community.☆62Updated 7 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- VM-HDL Co-Simulation for Servers with PCIe-Connected FPGAs☆47Updated 4 years ago
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆16Updated 5 years ago
- ☆37Updated 2 years ago
- BSC Development Workstation (BDW)☆29Updated 7 months ago
- Open Processor Architecture☆26Updated 9 years ago
- A generic test bench written in Bluespec☆53Updated 4 years ago
- ☆47Updated last month
- OpenFPGA☆34Updated 7 years ago
- OmniXtend cache coherence protocol☆82Updated 2 weeks ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago