A Language for Closed-form High-level ARchitecture Modeling
☆21Feb 10, 2020Updated 6 years ago
Alternatives and similar repositories for Charm
Users that are interested in Charm are comparing it to the libraries listed below
Sorting:
- A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Si…☆296Nov 17, 2025Updated 3 months ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Mar 16, 2022Updated 3 years ago
- Hybrid Threading Tool Set☆15Sep 24, 2020Updated 5 years ago
- PipeProof☆11Dec 18, 2019Updated 6 years ago
- Tools for parsing, assembling, and disassembling HSAIL.☆73May 12, 2020Updated 5 years ago
- ☆17Mar 26, 2025Updated 11 months ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Jul 22, 2016Updated 9 years ago
- ☆13Mar 3, 2022Updated 3 years ago
- ColTraIn HBFP Training Emulator☆16Feb 16, 2023Updated 3 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- ☆21Nov 18, 2022Updated 3 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- Time-sensitive affine types for predictable hardware generation☆148Jan 5, 2026Updated last month
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- A open source reimplementation of Google's Tensor Processing Unit (TPU).☆735Dec 6, 2017Updated 8 years ago
- ☆26Jul 6, 2018Updated 7 years ago
- A (Py)thon (D)SL for (G)enerating (In)struction set simulators.☆164Apr 13, 2018Updated 7 years ago
- Pymtl 3 (Mamba), an open-source Python-based hardware generation, simulation, and verification framework☆445Aug 24, 2025Updated 6 months ago
- MAESTRO binary release☆22Nov 14, 2019Updated 6 years ago
- FastPath_MP: An FPGA-based multi-path architecture for direct access from FPGA to NVMe SSD☆36Apr 20, 2021Updated 4 years ago
- A pre-RTL, power-performance model for fixed-function accelerators☆185Jan 17, 2024Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- ☆10Jan 20, 2023Updated 3 years ago
- Embedded IoT Platform for IoT projects based in Arduino and PlatformIO☆11Aug 8, 2021Updated 4 years ago
- ☆27Oct 26, 2019Updated 6 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Nov 2, 2021Updated 4 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆35Jun 3, 2025Updated 8 months ago
- MAERI public release☆31Sep 8, 2021Updated 4 years ago
- Hardware generator debugger☆77Feb 12, 2024Updated 2 years ago
- Benchmarks for Accelerator Design and Customized Architectures☆136Apr 1, 2020Updated 5 years ago
- Re-implementation of the TASO compiler using equality saturation☆138Jun 28, 2021Updated 4 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 5 years ago
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- PSSGen: Portable Test and Stimulus Standard DSL Generator☆14Dec 29, 2025Updated 2 months ago
- ☆13Jul 17, 2021Updated 4 years ago
- Multi2Sim source code☆134Jan 25, 2019Updated 7 years ago
- A standalone structural (gate-level) verilog parser☆40Feb 2, 2026Updated 3 weeks ago