ucsc-vama / essent
high-performance RTL simulator
☆156Updated 9 months ago
Alternatives and similar repositories for essent:
Users that are interested in essent are comparing it to the libraries listed below
- A dynamic verification library for Chisel.☆148Updated 5 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆51Updated 5 years ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆92Updated this week
- (System)Verilog to Chisel translator☆112Updated 2 years ago
- Chisel RISC-V Vector 1.0 Implementation☆89Updated last week
- A GPU acceleration flow for RTL simulation with batch stimulus☆106Updated last year
- ☆86Updated last year
- A Chisel RTL generator for network-on-chip interconnects☆193Updated last month
- RISC-V Formal Verification Framework☆131Updated last month
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆105Updated this week
- Tests for example Rocket Custom Coprocessors☆73Updated 5 years ago
- ☆102Updated 2 years ago
- Tile based architecture designed for computing efficiency, scalability and generality☆250Updated last month
- A Fast, Low-Overhead On-chip Network☆189Updated last week
- A Style Guide for the Chisel Hardware Construction Language☆107Updated 3 years ago
- Next generation CGRA generator☆111Updated this week
- An open source high level synthesis (HLS) tool built on top of LLVM☆120Updated 10 months ago
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆122Updated this week
- Python wrapper for verilator model☆82Updated last year
- The specification for the FIRRTL language☆53Updated this week
- Hardware generator debugger☆73Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆80Updated last year
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆103Updated last week
- OpenCGRA is an open-source framework for modeling, testing, and evaluating CGRAs.☆149Updated 2 years ago
- Floating point modules for CHISEL☆31Updated 10 years ago
- Ocelot: The Berkeley Out-of-Order Machine With V-EXT support☆159Updated 3 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆173Updated 8 months ago
- Chisel components for FPGA projects☆122Updated last year
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆82Updated 6 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆70Updated this week