Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor
☆50May 12, 2026Updated 4 months ago
Alternatives and similar repositories for UnityChipForXiangShan
Users that are interested in UnityChipForXiangShan 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☆40Apr 19, 2026Updated 5 months ago
- Pick your favorite language to verify your chip.☆94Updated this week
- Documentation for XiangShan Design☆51Sep 3, 2026Updated 2 weeks ago
- 香山微架构开放验证第一期:昆明湖BPU模块UT测试模块及环境☆33Oct 20, 2024Updated last year
- UnityChip Verification AI-Agent☆226Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Check your Claude/Codex/Gemini, and learn how much money you save☆21Sep 4, 2026Updated 2 weeks ago
- ☆15Jul 18, 2026Updated 2 months ago
- Open-Source EDA workshop for RISC-V community☆12Jul 27, 2022Updated 4 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 2 months ago
- UCAS SEP扩展脚本 - 课程评估辅助 etc.☆13Apr 3, 2025Updated last year
- Neural Turing Machine for a Multi-Processor System on Chip verified with UVM/OSVVM/FV☆12Aug 9, 2026Updated last month
- Support code for DVCon 2021 paper submission☆13Mar 1, 2021Updated 5 years ago
- ☆21Jan 13, 2026Updated 8 months ago
- ☆10Dec 17, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UVM components for DSP tasks (MODulation/DEModulation)☆16Mar 2, 2022Updated 4 years ago
- HW-SW Co-Simulation Library for AMBA AXI BFM using DPI/VPI☆38Dec 24, 2024Updated last year
- ☆82Updated this week
- 给NEMU移植Linux Kernel!☆23Jun 1, 2025Updated last year
- ☆248Jun 25, 2025Updated last year
- Documentation for XiangShan☆445Updated this week
- RV64GC Linux Capable RISC-V Core☆71Aug 7, 2026Updated last month
- SystemVerilog Functional Coverage for RISC-V ISA☆36Dec 11, 2025Updated 9 months ago
- CV32E40X Design-Verification environment☆19Jun 2, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Implementation of a binary search tree algorithm in a FPGA/ASIC IP☆21Sep 5, 2021Updated 5 years ago
- The User Guide of XiangShan.☆22Sep 1, 2026Updated 2 weeks ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- ☆32Nov 2, 2025Updated 10 months ago
- A 2-Way Super-Scalar OoO RISC-V Core Based on Intel P6 Microarchitecture.☆17Sep 27, 2022Updated 3 years ago
- A dynamic verification library for Chisel.☆163Nov 9, 2024Updated last year
- Multi-core HW accelerator mapping optimization framework for layer-fused ML workloads.☆72Sep 9, 2026Updated last week
- ☆36Mar 31, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Oct 11, 2024Updated last year
- ☆17Mar 26, 2025Updated last year
- ☆22Nov 25, 2023Updated 2 years ago
- An open-source Simulation Trace Format specification☆17Jun 4, 2026Updated 3 months ago
- Integer Multiplier Generator for Verilog☆25Jul 4, 2025Updated last year
- DUTH RISC-V Microprocessor