ctrippel / TriCheck
☆13Updated 7 years ago
Related projects: ⓘ
- RTLCheck☆17Updated 5 years ago
- ☆34Updated 5 years ago
- COATCheck☆12Updated 5 years ago
- Creating beautiful gem5 simulations☆44Updated 3 years ago
- ☆12Updated 9 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆17Updated this week
- ☆14Updated 3 years ago
- Heterogeneous simulator for DECADES Project☆28Updated 3 months ago
- A Modeling and Verification Platform for SoCs using ILAs☆75Updated 2 months ago
- PAAS: A System Level Simulator for Heterogeneous (CPU-FPGA) Computing Systems☆41Updated 3 years ago
- ☆24Updated 8 years ago
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆11Updated 4 years ago
- A parallel and distributed simulator for thousand-core chips☆22Updated 6 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆45Updated 4 years ago
- CoreIR Symbolic Analyzer☆61Updated 3 years ago
- ☆9Updated 8 years ago
- Artifact, reproducibility, and testing utilites for gem5☆19Updated 3 years ago
- The Shang high-level synthesis framework☆118Updated 10 years ago
- ☆18Updated 9 years ago
- NOCulator is a network-on-chip simulator providing cycle-accurate performance models for a wide variety of networks (mesh, torus, ring, h…☆22Updated last year
- Languages, Tools, and Techniques for Accelerator Design☆32Updated 2 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆38Updated 4 years ago
- Papers, Posters, Presentations, Documentation...☆18Updated 8 months ago
- Memory consistency model checking and test generation library.☆13Updated 7 years ago
- ILA Model Database☆20Updated 3 years ago
- A home for Genesis2 sources.☆36Updated 3 years ago
- Memory System Microbenchmarks☆60Updated last year
- Documentation for the BOOM processor☆47Updated 7 years ago
- ☆99Updated 2 years ago
- Repository for the tools and non-commercial data used for the "Accelerator wall" paper.☆47Updated 5 years ago