ICCD'24 paper: "AutoVCoder: A systematic framework for automated verilog code generation"
☆22Dec 17, 2024Updated last year
Alternatives and similar repositories for AutoVCoder
Users that are interested in AutoVCoder are comparing it to the libraries listed below
Sorting:
- [DATE 2025] haven: hallucination-mitigated llm for verilog code generation aligned with hdl engineers☆38Jul 9, 2025Updated 7 months ago
- MAGE: A Multi-Agent Engine for Automated RTL Code Generation☆88Apr 11, 2025Updated 10 months ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 10 months ago
- Offline Particle Tracking Project for ROMS output. Based on LTRANS☆10Dec 10, 2025Updated 2 months ago
- Pseudospectral PDE solver☆12Jun 24, 2025Updated 8 months ago
- ☆44May 18, 2024Updated last year
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆50Oct 28, 2024Updated last year
- Work related to vectorizing strategies for arbitrary FHE programs☆10Sep 5, 2025Updated 5 months ago
- The ERSN-OpenMC-Py is a graphical user interface specifically designed to streamline the use of the OpenMC code. It provides a user-frie…☆11Feb 24, 2024Updated 2 years ago
- 2020课程资料空间☆13Apr 6, 2023Updated 2 years ago
- Quantum simulator of qudits☆18Aug 19, 2025Updated 6 months ago
- ☆13Mar 17, 2023Updated 2 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- Gramm calculation core☆11Updated this week
- This project attempts to classify the entries in the Microsoft Malware Classification Challenge dataset using random forests.☆11Dec 22, 2016Updated 9 years ago
- A lightweight computational physics framework, based on the organization of turboWAVE. Implements a "Simulation, PhysicsModule, ComputeTo…☆11Jun 13, 2023Updated 2 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- time picture explorer.☆12Feb 11, 2015Updated 11 years ago
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 9 months ago
- SOSflow : Scalable Observation System for Scientific Workflows☆12Mar 9, 2020Updated 5 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Feb 22, 2026Updated last week
- Next generation ODE translator☆12Updated this week
- LaunchMON is a software infrastructure that enables HPC run-time tools to co-locate tool daemons with a parallel job. Its API allows a to…☆13Feb 11, 2026Updated 2 weeks ago
- Creating and backtesting a breakout trading signal. For Udacity's AI for Trading Nanodegree.☆11Sep 7, 2018Updated 7 years ago
- Generalized Operator Modelling of the Ocean (GOMO)☆12Aug 29, 2019Updated 6 years ago
- Fortran source code analysis tool☆11Nov 11, 2020Updated 5 years ago
- Third version of larcv. This is a complete replacement for larcv2.☆11Jun 24, 2024Updated last year
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago
- Slurm Examples☆10Aug 30, 2024Updated last year
- Python-based WRF post processing wrapper for WRF-Python, NetCDF4, and MetPy☆12Feb 7, 2019Updated 7 years ago
- ☆14May 28, 2023Updated 2 years ago
- Papers on LLM4EDA from 2023 and 2024☆46Jul 6, 2024Updated last year
- ☆11Sep 29, 2021Updated 4 years ago
- An embedded and encrypted database☆11Dec 10, 2016Updated 9 years ago
- ☆13Sep 7, 2025Updated 5 months ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- The source codes of GRU model for Chinese poetry generation (CCL 2017).☆14Jul 9, 2019Updated 6 years ago
- Common API (C++ and Python) for Fast Fourier Transform HPC libraries (publish-only mirror)☆11Dec 3, 2025Updated 2 months ago