PrincetonUniversity / IMDb-ArchiveLinks
ILA Model Database
☆24Updated 5 years ago
Alternatives and similar repositories for IMDb-Archive
Users that are interested in IMDb-Archive are comparing it to the libraries listed below
Sorting:
- DASS HLS Compiler☆29Updated 2 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆55Updated 5 years ago
- A hardware synthesis framework with multi-level paradigm☆43Updated last year
- ☆17Updated 2 years ago
- ☆87Updated last year
- ☆29Updated 8 years ago
- Fast Symbolic Repair of Hardware Design Code☆33Updated last year
- ☆62Updated this week
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- ☆14Updated 5 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- ☆60Updated 2 years ago
- CGRA framework with vectorization support.☆43Updated this week
- ☆20Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆98Updated last year
- The OpenPiton Platform☆28Updated 2 years ago
- ☆19Updated 5 years ago
- ☆104Updated 3 years ago
- ☆15Updated 3 years ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆117Updated last year
- PAAS: A System Level Simulator for Heterogeneous (CPU-FPGA) Computing Systems☆43Updated 4 years ago
- ☆24Updated 4 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆79Updated 3 weeks ago
- ☆18Updated last month
- Next generation CGRA generator☆118Updated last week
- A Hardware Pipeline Description Language☆49Updated 6 months ago
- Tests for example Rocket Custom Coprocessors☆75Updated 5 years ago