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☆118Updated 2 months ago
- high-performance RTL simulator☆186Updated last year
- Bluespec BSV HLHDL tutorial☆111Updated 9 years ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆127Updated last year
- A dynamic verification library for Chisel.☆159Updated last year
- The Task Parallel System Composer (TaPaSCo)☆116Updated last month
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆183Updated 8 months ago
- Python wrapper for verilator model☆92Updated last year
- Examples for creating AXI-interfaced peripherals in Chisel☆75Updated 10 years ago
- ☆87Updated last year
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- Main page☆129Updated 5 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆55Updated 5 years ago
- A DSL for Systolic Arrays☆83Updated 7 years ago
- Chisel components for FPGA projects☆128Updated 2 years ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- Next generation CGRA generator☆118Updated last week
- RISC-V Virtual Prototype☆183Updated last year
- ☆24Updated 4 years ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆117Updated last year
- Tests for example Rocket Custom Coprocessors☆75Updated 5 years ago
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆55Updated last year
- RISC-V Formal Verification Framework☆177Updated last week
- RiscyOO: RISC-V Out-of-Order Processor☆170Updated 5 years ago
- ☆104Updated 3 years ago
- ☆82Updated last year
- [FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.☆128Updated 3 years ago
- Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator☆61Updated 7 months ago
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆91Updated 3 months ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆120Updated 8 months ago