OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.
☆21Jul 24, 2025Updated 7 months ago
Alternatives and similar repositories for OpenROAD-Agent
Users that are interested in OpenROAD-Agent are comparing it to the libraries listed below
Sorting:
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆32Updated this week
- RTLMeter benchmark suite☆29Jan 25, 2026Updated last month
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆23May 24, 2025Updated 9 months ago
- Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.☆20Jan 6, 2026Updated last month
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆22Jan 27, 2023Updated 3 years ago
- OpenROAD's Chatbot Assistant☆34Updated this week
- Repo for all activity related to the ODSA Bunch of Wires Specification☆29Jan 25, 2024Updated 2 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- Routing Visualization for Physical Design☆20Dec 24, 2018Updated 7 years ago
- ☆18Sep 2, 2020Updated 5 years ago
- Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.☆24Dec 1, 2025Updated 2 months ago
- ☆20Mar 1, 2021Updated 4 years ago
- ☆19Dec 29, 2014Updated 11 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- ☆24Feb 11, 2021Updated 5 years ago
- A library and command-line tool for querying a Verilog netlist.☆29Jun 13, 2022Updated 3 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- ☆17Updated this week
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 10 months ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- ☆91Feb 19, 2026Updated last week
- Artifact, reproducibility, and testing utilites for gem5☆23Jul 1, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- A 3D visualization tool for phased array analysis☆10Sep 24, 2024Updated last year
- A Verilog Synthesis Regression Test☆37Jan 19, 2026Updated last month
- Easy Setup, File-based, Offline Capable Federated Learning and Computations☆22Feb 11, 2026Updated 2 weeks ago
- This repository contains all the information included in the beginner SoC/physical design using open-source EDA tools organized by VLSI S…☆12Mar 7, 2021Updated 4 years ago
- ☆10Mar 4, 2020Updated 5 years ago
- A macrospin simulation tool for nanoparticles☆12Dec 4, 2024Updated last year
- magnum.af: A finite differences GPU-accelerated micromagnetic and atomistic simulation software☆13Nov 11, 2024Updated last year
- A standalone structural (gate-level) verilog parser☆40Feb 2, 2026Updated 3 weeks ago
- A Fast, Low-Overhead On-chip Network☆268Feb 19, 2026Updated last week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆42Sep 10, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Photonic Quantum Machine Learning Framework☆18Feb 18, 2026Updated last week
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago