Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.
☆24Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for eda-examples
Users that are interested in eda-examples are comparing it to the libraries listed below
Sorting:
- MPI Benchmark on AWS HPC cluster☆20Jan 31, 2020Updated 6 years ago
- ☆11Jul 1, 2025Updated 8 months ago
- RTLMeter benchmark suite☆29Jan 25, 2026Updated last month
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆21Jul 24, 2025Updated 7 months ago
- This repository contains sample code to help you extend your LSF cluster to the cloud. It provides fully functional examples of how to s…☆16Dec 17, 2025Updated 2 months ago
- 1-Click Cluster Deployment with AWS ParallelCluster☆29Sep 23, 2022Updated 3 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆22Jan 27, 2023Updated 3 years ago
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆26Mar 1, 2021Updated 5 years ago
- A Cycle-accurate Microarchitecture-level NAND Flash Memory System Simulation Framework☆27Mar 20, 2013Updated 12 years ago
- ☆20Mar 1, 2021Updated 5 years ago
- ☆18Sep 2, 2020Updated 5 years ago
- ☆19Dec 29, 2014Updated 11 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Microprobe: Microbenchmark generation framework☆25Feb 5, 2026Updated 3 weeks ago
- Measure instruction latency and throughput☆31Sep 2, 2025Updated 5 months ago
- ☆22Nov 12, 2020Updated 5 years ago
- ☆24Feb 11, 2021Updated 5 years ago
- Samples and documentation for deploying EDA computing environments in AWS☆31Feb 6, 2026Updated 3 weeks ago
- design and verification of asynchronous circuits☆43Updated this week
- CoreIR Symbolic Analyzer☆74Oct 27, 2020Updated 5 years ago
- Implementation of NIPS2023: Unleashing the Full Potential of Product Quantization for Large-Scale Image Retrieva☆11Nov 12, 2024Updated last year
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 2 years ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 10 months ago
- Infrastructure to drive Spike (RISC-V ISA Simulator) in cosim mode. Hammer provides a C++ and Python interface to interact with Spike.☆39Jan 19, 2026Updated last month
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- Create and deploy virtual-experiments - co-processing computational workflows☆10Jan 28, 2026Updated last month
- Artifact, reproducibility, and testing utilites for gem5☆23Jul 1, 2021Updated 4 years ago
- This is a repo of HPC workshops that will be used to facilitate on-site engagements, or be used at conferences and summits.☆35May 15, 2018Updated 7 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Jul 3, 2024Updated last year
- 21st century electronic design automation tools, written in Rust.☆36Feb 20, 2026Updated last week
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- Music Player with a familiar look! Ladies and Gentlemen, it's Winamp, for Android! [Disclaimer: This is not WInamp. All trademarks are c…☆15Aug 25, 2025Updated 6 months ago
- ☆37Aug 12, 2025Updated 6 months ago
- ext_mpi_collectives☆11Apr 1, 2025Updated 11 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated 3 weeks ago
- Public repository to host our Checker IP written in SVA that is ported to run on open-source Verilator.☆12Mar 31, 2023Updated 2 years ago