kcamenzind / BluespecIntroGuide
An introductory guide to Bluespec (BSV)
☆57Updated 5 years ago
Related projects: ⓘ
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆78Updated 5 months ago
- Bluespec BSV HLHDL tutorial☆92Updated 8 years ago
- Python wrapper for verilator model☆76Updated 7 months ago
- A Style Guide for the Chisel Hardware Construction Language☆106Updated 3 years ago
- high-performance RTL simulator☆129Updated 3 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆45Updated 4 years ago
- (System)Verilog to Chisel translator☆102Updated 2 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆161Updated last month
- Main page☆127Updated 4 years ago
- ☆23Updated 3 years ago
- A dynamic verification library for Chisel.☆138Updated 3 months ago
- Book to (1) learn BLang (BSV) using a RISC-V example and (2) learn to design a pipelined RISC-V CPU using BSV for HDL coding☆11Updated 2 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆72Updated 5 months ago
- RISC-V Formal Verification Framework☆95Updated 4 months ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆69Updated last year
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆48Updated last month
- Chisel Learning Journey☆105Updated last year
- ☆86Updated 6 months ago
- ☆71Updated 2 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆70Updated 8 years ago
- CVA6 SDK containing RISC-V tools and Buildroot☆59Updated 2 months ago
- eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V☆140Updated this week
- Riscy Processors - Open-Sourced RISC-V Processors☆72Updated 5 years ago
- Provides dot visualizations of chisel/firrtl circuits☆114Updated last year
- An open source high level synthesis (HLS) tool built on top of LLVM☆115Updated 3 months ago
- RISC-V Torture Test☆163Updated 2 months ago
- A Fast, Low-Overhead On-chip Network☆115Updated this week
- Proposed RISC-V Composable Custom Extensions Specification☆66Updated 4 months ago
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆48Updated last week
- ☆68Updated last year