ucsc-vama / essentLinks
high-performance RTL simulator
☆178Updated last year
Alternatives and similar repositories for essent
Users that are interested in essent are comparing it to the libraries listed below
Sorting:
- A GPU acceleration flow for RTL simulation with batch stimulus☆113Updated last year
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆106Updated 4 months ago
- A dynamic verification library for Chisel.☆155Updated 10 months ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆125Updated last year
- Open-source RTL logic simulator with CUDA acceleration☆220Updated last month
- Chisel RISC-V Vector 1.0 Implementation☆112Updated last month
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆135Updated this week
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆49Updated 11 months ago
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- ☆87Updated last year
- The specification for the FIRRTL language☆63Updated last week
- [FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.☆127Updated 2 years ago
- Tile based architecture designed for computing efficiency, scalability and generality☆266Updated last week
- Next generation CGRA generator☆114Updated this week
- Vector Acceleration IP core for RISC-V*☆183Updated 4 months ago
- RISC-V Formal Verification Framework☆150Updated last week
- The Task Parallel System Composer (TaPaSCo)☆111Updated 4 months ago
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆118Updated last week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆90Updated last month
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆74Updated last month
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆50Updated 2 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆54Updated 5 years ago
- SystemVerilog synthesis tool☆211Updated 6 months ago
- Python wrapper for verilator model☆89Updated last year
- PACoGen: Posit Arithmetic Core Generator☆75Updated 6 years ago
- A Fast, Low-Overhead On-chip Network☆228Updated this week
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆57Updated 3 years ago
- A Chisel RTL generator for network-on-chip interconnects☆211Updated last month
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆89Updated last year