Pick your favorite language to verify your chip.
☆97Oct 24, 2026Updated this week
Alternatives and similar repositories for picker
Users that are interested in picker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework for building hardware verification platform using software method☆41Updated this week
- xspcomm encapsulates the DPI-based digital circuit and provides various high-level language operation interfaces.☆10Updated this week
- Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor☆51May 12, 2026Updated 5 months ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- XSPdb is a Python-based extension of pdb designed for the XiangShan IP, providing GDB-like "interactive debugging" capabilities.☆10Feb 4, 2026Updated 8 months 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.
- UnityChip Verification AI-Agent☆234Updated this week
- ☆90Oct 23, 2026Updated last week
- ☆21Oct 24, 2026Updated last week
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- 开放验证平台NutShell Cache验证案例☆12Dec 2, 2025Updated 10 months ago
- FrontEnd Reverse-engineering Toolkit - CPU frontend uarch research framework☆14Updated this week
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Sep 8, 2026Updated last month
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated last month
- Modern co-simulation framework for RISC-V CPUs☆191Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Craft your EDA toolchain with GRH IR☆21Updated this week
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- 香山微架构开放验证第一期：昆明湖BPU模块UT测试模块及环境☆33Oct 20, 2024Updated 2 years ago
- 体系结构研讨 + ysyx高阶大纲 (WIP☆219Sep 24, 2026Updated last month
- ☆23Mar 12, 2026Updated 7 months ago
- Xiangshan deterministic workloads generator☆29Oct 14, 2026Updated 2 weeks 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
- Documentation for XiangShan Design☆54Updated this week
- 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.
- Implementation of Pythia: A Customizable Hardware Prefetching Framework Using Online Reinforcement Learning in Chisel HDL. To know more, …☆17Oct 9, 2021Updated 5 years ago
- ☆13Updated this week
- ☆12Oct 23, 2026Updated last week
- Basic chisel difftest environment for RTL design (WIP☆21Mar 8, 2025Updated last year
- Chisel RISC-V Vector 1.0 Implementation☆159Updated this week
- 给NEMU移植Linux Kernel!☆23Jun 1, 2025Updated last year
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- ☆36Mar 31, 2025Updated last year
- A RISC-V BOOM Microarchitecture Power Modeling Framework☆33May 12, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆48Updated this week
- XiangShanLab is the open-source XiangShan ecosystem's entry layer — a learning, practice, and collaboration hub spanning the RISC-V proce…☆58Updated this week
- Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL …☆35Sep 29, 2026Updated last month
- ☆105Oct 15, 2026Updated 2 weeks ago
- host memory buffer feature based on OpenFabrics NVMe Windows driver☆15Dec 8, 2017Updated 8 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆37Jul 24, 2025Updated last year
- ☆15Apr 28, 2026Updated 6 months ago