kcamenzind / BluespecIntroGuide
An introductory guide to Bluespec (BSV)
☆59Updated 5 years ago
Alternatives and similar repositories for BluespecIntroGuide:
Users that are interested in BluespecIntroGuide are comparing it to the libraries listed below
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆86Updated 10 months ago
- Bluespec BSV HLHDL tutorial☆98Updated 8 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Python wrapper for verilator model☆79Updated last year
- A dynamic verification library for Chisel.☆146Updated 3 months ago
- A Style Guide for the Chisel Hardware Construction Language☆107Updated 3 years ago
- ☆86Updated 11 months ago
- high-performance RTL simulator☆152Updated 8 months ago
- Main page☆125Updated 5 years ago
- ☆23Updated 4 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆166Updated 6 months ago
- Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator☆55Updated last week
- ☆77Updated 2 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆74Updated 9 years ago
- chipyard in mill :P☆77Updated last year
- RiscyOO: RISC-V Out-of-Order Processor☆154Updated 4 years ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆71Updated last year
- ILA Model Database☆22Updated 4 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆76Updated 10 months ago
- Floating point modules for CHISEL☆31Updated 10 years ago
- A DSL for Systolic Arrays☆79Updated 6 years ago
- Open source high performance IEEE-754 floating unit☆67Updated 11 months ago
- A hardware synthesis framework with multi-level paradigm☆36Updated last month
- Port fpga-zynq (rocket-chip) to Xilinx ZYNQ Ultrascale+ board (ZCU102)☆58Updated last year
- RISC-V Formal Verification Framework☆128Updated last month
- A RISC-V Core (RV32I) written in Chisel HDL☆101Updated 8 months ago
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆90Updated this week
- (System)Verilog to Chisel translator☆111Updated 2 years ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 5 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆40Updated 4 years ago