Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.
☆24Feb 25, 2026Updated 8 months ago
Alternatives and similar repositories for eda-examples
Users that are interested in eda-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 2, 2023Updated 2 years ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 3 years ago
- APB UVC ported to Verilator☆11Nov 19, 2023Updated 2 years ago
- MPI Benchmark on AWS HPC cluster☆20Jan 31, 2020Updated 6 years ago
- ☆14Apr 29, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Public repository to host our Checker IP written in SVA that is ported to run on open-source Verilator.☆12Mar 31, 2023Updated 3 years ago
- RTLMeter benchmark suite☆34Updated this week
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- ☆11Jul 1, 2025Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- RTLCheck☆26Oct 9, 2018Updated 8 years ago
- A fast sparse triangular solver compatible with SciPy.☆10Oct 10, 2026Updated 3 weeks ago
- Deep Learning at Scale @ SC25☆18Sep 9, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Samples and documentation for deploying EDA computing environments in AWS☆31Feb 6, 2026Updated 8 months ago
- ☆22Oct 26, 2025Updated last year
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A modular hardware abstraction library☆53Updated this week
- LMAC Core1 - Ethernet 1G/100M/10M☆19Apr 3, 2023Updated 3 years ago
- 1-Click Cluster Deployment with AWS ParallelCluster☆29Sep 23, 2022Updated 4 years ago
- ☆15May 24, 2025Updated last year
- Convert Verilog to a Hardcaml design☆23Jul 10, 2026Updated 3 months ago
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆30Apr 6, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15Jul 9, 2026Updated 3 months ago
- SmartNIC☆14Dec 13, 2018Updated 7 years ago
- Adding UVM support to Icarus Verilog (and Verilator in near future) by taking a step-by-step, bottom-up approach.☆24Dec 27, 2022Updated 3 years ago
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆36Oct 15, 2024Updated 2 years ago
- LeWiz Communications Ethernet MAC Core2 10G/5G/2.5G/1G☆42Apr 3, 2023Updated 3 years ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- A sample Slurm Cluster Installation Guide on Debian☆14Mar 2, 2018Updated 8 years ago
- CoreIR Symbolic Analyzer☆75Oct 27, 2020Updated 6 years ago
- Basic Common Modules☆48Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13May 21, 2026Updated 5 months ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- 🧩 Starter template for ASIC hardware IP blocks with Vyges metadata, OpenLane integration, and comprehensive documentation☆13Apr 30, 2026Updated 6 months ago
- An opinionated build environment for EDA projects☆19Jul 20, 2025Updated last year
- This repository is used to store CUDA-Q workshop material.☆17Sep 14, 2026Updated last month
- RISCV C and Triton AI-Benchmark☆26Jan 28, 2026Updated 9 months ago