PrincetonUniversity / stripesLinks
☆14Updated 7 months ago
Alternatives and similar repositories for stripes
Users that are interested in stripes are comparing it to the libraries listed below
Sorting:
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆84Updated last year
- The official repository of metro-mpi☆17Updated last year
- CGRA framework with vectorization support.☆32Updated last week
- ☆86Updated last year
- ILA Model Database☆23Updated 4 years ago
- An integrated CGRA design framework☆89Updated 3 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- ☆20Updated 2 years ago
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆132Updated last week
- [FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.☆126Updated 2 years ago
- An Open-Hardware CGRA for accelerated computation on the edge.☆29Updated 9 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆85Updated this week
- Examples for creating AXI-interfaced peripherals in Chisel☆76Updated 9 years ago
- [FPGA 2021, Best Paper Award] An automated floorplanning and pipelining tool for Vivado HLS.☆122Updated 2 years ago
- Advanced Architecture Labs with CVA6☆62Updated last year
- The RAD flow is an open-source academic architecture exploration and evaluation flow for novel beyond-FPGA reconfigurable acceleration de…☆36Updated last month
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆31Updated 8 months ago
- A hardware synthesis framework with multi-level paradigm☆39Updated 5 months ago
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆59Updated 8 months ago
- ☆60Updated 2 months ago
- ☆42Updated 9 months ago
- [DAC 2020] Analysis and Optimization of the Implicit Broadcasts in FPGA HLS to Improve Maximum Frequency☆32Updated 4 years ago
- ☆15Updated 2 years ago
- Tests for example Rocket Custom Coprocessors☆74Updated 5 years ago
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆73Updated 2 weeks ago
- A dynamic verification library for Chisel.☆152Updated 7 months ago
- BlackParrot on Zynq☆42Updated 3 months ago
- ☆45Updated 3 weeks ago
- A low power platform based on X-HEEP and integrating the ESL-CGRA☆13Updated 8 months ago
- ☆15Updated 3 years ago