XS-MLVP / UCAgentView external linksLinks
UnityChip Verification AI-Agent
☆94Updated this week
Alternatives and similar repositories for UCAgent
Users that are interested in UCAgent are comparing it to the libraries listed below
Sorting:
- Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor☆46Nov 18, 2025Updated 2 months ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 3 months ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆35Apr 3, 2025Updated 10 months ago
- Pick your favorite language to verify your chip.☆77Jan 30, 2026Updated 2 weeks ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- Repo for all activity related to the ODSA Bunch of Wires Specification☆29Jan 25, 2024Updated 2 years ago
- Simple UVM environment for experimenting with Verilator.☆28Nov 3, 2025Updated 3 months ago
- Deprecated, no longer updated, please change to https://www.nucleisys.com/index.php☆25Mar 24, 2021Updated 4 years ago
- A framework for building hardware verification platform using software method☆32Dec 24, 2025Updated last month
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆29Oct 12, 2025Updated 4 months ago
- This repo includes XiangShan's function units☆29Updated this week
- An advanced header-only exact synthesis library☆31Nov 24, 2022Updated 3 years ago
- This is for uvm_tb_gen☆51Feb 13, 2025Updated last year
- SBOM-TOOL is a ctl tool that generates software bill of materials (SBOM) for software projects through source code warehouse, code finger…☆13Oct 11, 2025Updated 4 months ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Mar 3, 2024Updated last year
- IRSIM switch-level simulator for digital circuits☆36Nov 13, 2025Updated 3 months ago
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆87Updated this week
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- Converting Boolean expressions to CMOS Circuits☆11Oct 6, 2020Updated 5 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- DEPRECATED. Please use Chipyard (https://github.com/ucb-bar/chipyard) to build BOOM☆37Oct 23, 2019Updated 6 years ago
- ☆16Oct 26, 2024Updated last year
- Computer Systems Lab☆11Oct 16, 2025Updated 3 months ago
- Full Support 32bit RISC-V in LLVM and CLANG for Vector Extension☆44Dec 21, 2020Updated 5 years ago
- ☆13Sep 5, 2024Updated last year
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- msfinance offers Pythonic way to download market data from morningstar.com☆15Feb 15, 2025Updated last year
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago