NVlabs / GL0AMLinks
GL0AM GPU Accelerated Gate Level Logic Simulator
☆29Updated 4 months ago
Alternatives and similar repositories for GL0AM
Users that are interested in GL0AM are comparing it to the libraries listed below
Sorting:
- A GPU acceleration flow for RTL simulation with batch stimulus☆116Updated last year
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆23Updated 2 weeks ago
- ☆20Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- A configurable SRAM generator☆56Updated 4 months ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Updated 2 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆34Updated 6 months ago
- DASS HLS Compiler☆29Updated 2 years ago
- Next generation CGRA generator☆118Updated this week
- Fast Symbolic Repair of Hardware Design Code☆32Updated 11 months ago
- Collection of digital hardware modules & projects (benchmarks)☆74Updated 3 weeks ago
- This is a python repo for flattening Verilog☆20Updated 2 weeks ago
- Equivalence checking with Yosys☆53Updated 3 weeks ago
- An infrastructure for integrated EDA☆42Updated 2 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆34Updated last year
- EDA physical synthesis optimization kit☆64Updated 2 years ago
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- ☆77Updated 2 weeks ago
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆43Updated 6 months ago
- Open source RTL simulation acceleration on commodity hardware☆33Updated 2 years ago
- ☆55Updated 7 months ago
- DAC'22 paper: "Automated Accelerator Optimization Aided by Graph Neural Networks"☆40Updated 2 years ago
- ☆29Updated last year
- Using e-graphs for logic synthesis☆30Updated this week
- EDA wiki☆53Updated 2 years ago
- Parendi: Thousand-way Parallel RTL Simulation on the Graphcore IPU☆24Updated last month
- ☆36Updated 2 years ago
- ☆52Updated 11 months ago
- This is a repo to store circuit design datasets☆19Updated last year
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago