kcamenzind / BluespecIntroGuideLinks
An introductory guide to Bluespec (BSV)
☆66Updated 6 years ago
Alternatives and similar repositories for BluespecIntroGuide
Users that are interested in BluespecIntroGuide are comparing it to the libraries listed below
Sorting:
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆108Updated 5 months ago
- high-performance RTL simulator☆181Updated last year
- Bluespec BSV HLHDL tutorial☆110Updated 9 years ago
- A dynamic verification library for Chisel.☆157Updated last year
- The Task Parallel System Composer (TaPaSCo)☆110Updated 5 months ago
- Python wrapper for verilator model☆92Updated last year
- An open source high level synthesis (HLS) tool built on top of LLVM☆125Updated last year
- (System)Verilog to Chisel translator☆117Updated 3 years ago
- ☆87Updated last year
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- Main page☆128Updated 5 years ago
- [FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.☆126Updated 2 years ago
- RISC-V Formal Verification Framework☆162Updated 2 weeks ago
- A tool for synthesizing Verilog programs☆106Updated 2 months ago
- Examples for creating AXI-interfaced peripherals in Chisel☆76Updated 9 years ago
- A hardware synthesis framework with multi-level paradigm☆41Updated 9 months ago
- Heterogeneous Research Platform (HERO) for exploration of heterogeneous computers consisting of programmable many-core accelerators and a…☆112Updated 2 years ago
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆143Updated this week
- ☆80Updated last year
- Chisel components for FPGA projects☆127Updated 2 years ago
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆86Updated 3 weeks ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆116Updated 5 months ago
- A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)☆186Updated last month
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆50Updated last year
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆177Updated 6 months ago
- Open-source RTL logic simulator with CUDA acceleration☆231Updated last month
- A GPU acceleration flow for RTL simulation with batch stimulus☆115Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆51Updated 2 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆54Updated 5 years ago
- Chisel Learning Journey☆110Updated 2 years ago