rsnikhil / DEVEL_Learn_Bluespec_and_RISCV_Design
Development area for another repo: Learn_Bluespec_and_RISCV_Design
☆12Updated 4 months ago
Alternatives and similar repositories for DEVEL_Learn_Bluespec_and_RISCV_Design:
Users that are interested in DEVEL_Learn_Bluespec_and_RISCV_Design are comparing it to the libraries listed below
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆92Updated this week
- Open source RTL simulation acceleration on commodity hardware☆25Updated 2 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 11 months ago
- The OpenPiton Platform☆28Updated last year
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆51Updated 5 years ago
- Championship Branch Prediction 2025☆40Updated 3 weeks ago
- ☆23Updated 4 years ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 4 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆49Updated last year
- PiDRAM is the first flexible end-to-end framework that enables system integration studies and evaluation of real Processing-using-Memory …☆65Updated last year
- ☆86Updated last year
- A Rocket-based RISC-V superscalar in-order core☆31Updated last week
- A RISC-V processor written in BSV, based on the Flute core. Has support for integrating tightly-coupled accelerators, and for integrating…☆23Updated 2 years ago
- ILA Model Database☆22Updated 4 years ago
- A tool to generate optimized hardware files for univariate functions.☆27Updated last year
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆40Updated 6 months ago
- Examples for creating AXI-interfaced peripherals in Chisel☆74Updated 9 years ago
- PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g.,…☆21Updated 3 months ago
- ☆33Updated 6 months ago
- The RTL source for AnyCore RISC-V☆32Updated 3 years ago
- Branch Predictor Optimization for BlackParrot☆15Updated last year
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆67Updated this week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆71Updated last week
- ☆40Updated 3 months ago
- Hardware generator debugger☆73Updated last year
- ☆31Updated 3 months ago
- Parendi: Thousand-way Parallel RTL Simulation on the Graphcore IPU☆19Updated last year
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆26Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆81Updated last year