pku-liang / ksimView external linksLinks
☆52Jan 16, 2025Updated last year
Alternatives and similar repositories for ksim
Users that are interested in ksim are comparing it to the libraries listed below
Sorting:
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆36Jan 26, 2026Updated 3 weeks ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆36Jan 16, 2025Updated last year
- ☆65Dec 27, 2025Updated last month
- ☆17Mar 26, 2025Updated 10 months ago
- high-performance RTL simulator☆186Jun 19, 2024Updated last year
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Parendi: Thousand-way Parallel RTL Simulation on the Graphcore IPU☆25Nov 26, 2025Updated 2 months ago
- The specification for the FIRRTL language☆62Updated this week
- ☆20Sep 24, 2025Updated 4 months ago
- A eDSL framework based on Scala and MLIR, focusing on the Hardware design.☆65Feb 4, 2026Updated last week
- ☆21May 26, 2025Updated 8 months ago
- A hardware synthesis framework with multi-level paradigm☆44Jan 10, 2025Updated last year
- ☆15Dec 17, 2025Updated last month
- GL0AM GPU Accelerated Gate Level Logic Simulator☆30Updated this week
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- Chisel3 AXI4-{Lite, Full, Stream} Definitions☆15Dec 31, 2018Updated 7 years ago
- About the source code of "Merging Similar Patterns for Hardware Prefetching" paper, which is accepted in MICRO 2022.☆14Mar 1, 2023Updated 2 years ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆117Apr 1, 2024Updated last year
- (System)Verilog to Chisel translator☆116May 20, 2022Updated 3 years ago
- The 'missing header' for Chisel☆23Feb 5, 2026Updated last week
- The official repository of metro-mpi☆17Sep 3, 2025Updated 5 months ago
- BSC Development Workstation (BDW)☆32Nov 9, 2025Updated 3 months ago
- Official implementation of paper "Open3DBench: Open-Source Benchmark for 3D-IC Backend Implementation and PPA Evaluation".☆80Jun 11, 2025Updated 8 months ago
- ☆33Nov 6, 2024Updated last year
- An open-source EDA infrastructure and tools from netlist to GDS☆484Jan 10, 2026Updated last month
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆24Jan 11, 2026Updated last month
- ☆17Mar 17, 2022Updated 3 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Feb 18, 2022Updated 3 years ago
- Basic chisel difftest environment for RTL design (WIP☆20Mar 8, 2025Updated 11 months ago
- An open source SDR SDRAM controller based on the AXI4 bus and verified by FPGA and tapeout. It can support memory particles of different …☆22May 12, 2025Updated 9 months ago
- ☆18Feb 3, 2022Updated 4 years ago
- A riscv emulator.☆19Feb 5, 2024Updated 2 years ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆11Dec 27, 2022Updated 3 years ago
- A core language for rule-based hardware design 🦑☆171Dec 10, 2025Updated 2 months ago
- ordspecsim: The Swarm architecture simulator☆24Feb 15, 2023Updated 3 years ago
- VSH（SHell for Visualizing vcd file）项目为数字波形文件命令行查看器。☆25Dec 8, 2025Updated 2 months ago
- ☆20Feb 9, 2020Updated 6 years ago
- A Heterogeneous GPU Platform for Chipyard SoC☆42Updated this week
- ICCAD'23 Best Paper Award candidate: Robust GNN-based Representation Learning for HLS☆24May 23, 2024Updated last year