Project Status: Discontinued, New repository: spec2rtl-plugin
☆24Feb 1, 2026Updated last month
Alternatives and similar repositories for spec2rtl
Users that are interested in spec2rtl are comparing it to the libraries listed below
Sorting:
- LLM4HWDesign Starting Toolkit☆19Oct 4, 2024Updated last year
- ☆43Mar 10, 2025Updated last year
- ☆15Aug 8, 2024Updated last year
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆22Jul 24, 2025Updated 7 months ago
- ☆10Sep 12, 2025Updated 6 months ago
- ☆18Aug 9, 2025Updated 7 months ago
- Chinese Guide for Alveo Getting Started☆12May 18, 2020Updated 5 years ago
- ☆42Jan 6, 2026Updated 2 months ago
- Code and data release for FEABench: Evaluating Language Models on Multiphysics Reasoning Ability. [MATH-AI workshop, NeurIPS 2024]☆13May 7, 2025Updated 10 months ago
- ☆31Jul 12, 2025Updated 8 months ago
- DeepEverest: a system for efficient DNN interpretation.☆13Jan 22, 2024Updated 2 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trust☆38May 17, 2024Updated last year
- ☆14Aug 27, 2020Updated 5 years ago
- [Beta] 🚀 NEETBOX provides the visualization and tooling needed for machine learning experimentation.☆30Updated this week
- ☆126Mar 10, 2025Updated last year
- [DATE 2025] haven: hallucination-mitigated llm for verilog code generation aligned with hdl engineers☆38Jul 9, 2025Updated 8 months ago
- An Ethereum Browser☆10Apr 29, 2020Updated 5 years ago
- ☆12Jul 17, 2016Updated 9 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 4 years ago
- AHN: Artificial Hippocampus Networks for Efficient Long-Context Modeling☆174Oct 17, 2025Updated 5 months ago
- [ICCAD 22]DeePEB: A neural network based PEB solver☆11Feb 17, 2023Updated 3 years ago
- Python interface for cross-calling with HDL☆49Mar 14, 2026Updated last week
- ☆10Nov 24, 2025Updated 3 months ago
- ☆13Aug 17, 2021Updated 4 years ago
- SystemC to Verilog Synthesizable Subset Translator☆12May 12, 2023Updated 2 years ago
- This is the Github Repo for the paper: MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis O…☆68Jul 29, 2025Updated 7 months ago
- The main repository of CargOS☆10Mar 24, 2025Updated 11 months ago
- ☆36Updated this week
- ☆268Jul 8, 2024Updated last year
- gem5-X open source project☆18Mar 28, 2023Updated 2 years ago
- OFDM modem☆16Jul 17, 2014Updated 11 years ago
- Decrypts RSDF, CFF and DLC files using a web service☆15Nov 20, 2018Updated 7 years ago
- PolarFire FPGA sample RISC-V designs☆14Oct 15, 2019Updated 6 years ago
- Theia: ray graphic processing unit☆20Jul 17, 2014Updated 11 years ago
- Custom NERDTreeIgnore settings per project.☆11May 17, 2015Updated 10 years ago
- OpenSPARC-based SoC☆75Jul 17, 2014Updated 11 years ago
- ☆15Apr 28, 2015Updated 10 years ago