项目竞品

共找到 20 个竞品
openhwgroup

openhwgroup/cva6

2.8k 887

CORE-V CVA6是高度可配置的6级RISC-V处理器核心,适用于应用级和嵌入式场景,应用级配置支持启动Linux

Assembly risc-v
相似度
25%
+48
ucb-bar

ucb-bar/saturn-vectors

128 22

Chisel RISC-V 向量 0 实现

Assembly risc-v
相似度
25%
hughperkins

hughperkins/VeriGPU

1.3k 136

基于RISC-V指令集架构的开源GPU设计,采用Verilog实现

SystemVerilog risc-v verification
相似度
50%
+21
trufflesecurity

trufflesecurity/trufflehog

24.5k 2.2k

查找、验证和分析泄露的凭证

Go verification
相似度
25%
+168
simdjson

simdjson/simdjson

23.4k 1.2k

每秒解析千兆字节级JSON数据:被Facebook/Meta Velox、Node.js运行时、ClickHouse、WatermelonDB、Apache Doris、Milvus、StarRocks采用。

C++ risc-v
相似度
25%
+106
RT-Thread

RT-Thread/rt-thread

11.8k 5.3k

RT-Thread 是一款开源的物联网实时操作系统(RTOS)。https://rt-thread.github.io/rt-thread/

C risc-v
相似度
25%
+3
k2-fsa

k2-fsa/sherpa-onnx

10.3k 1.2k

基于新一代Kaldi与onnxruntime的离线语音转文字、文字转语音、说话人日志、语音增强、源分离及语音活动检测技术。支持嵌入式系统、Android、iOS、HarmonyOS、树莓派、RISC-V架构、x86_64服务器、WebSocket服务端/客户端,兼容12种编程语言。

C++ risc-v
相似度
25%
+34
OpenXiangShan

OpenXiangShan/XiangShan

6.9k 869

开源高性能RISC-V处理器

Scala risc-v
相似度
25%
+51
ThanhNguyxn

ThanhNguyxn/SheerID-Verification-Tool

3.0k 527

一款用于集成和测试SheerID验证流程的轻量级工具。它简化API请求,处理响应,并支持学生等项目的资格检查。

Python verification
相似度
25%
+48
model-checking

model-checking/kani

2.9k 141

Kani Rust Verifier

Rust verification
相似度
25%
+9
uxmal

uxmal/reko

2.5k 266

Reko是一个二进制反编译器。

C# risc-v
相似度
25%
+20
gem5

gem5/gem5

2.5k 1.7k

gem5计算机系统架构模拟器的官方代码库。

C++ risc-v
相似度
25%
+3
ucb-bar

ucb-bar/chipyard

2.1k 817

一个敏捷的RISC-V SoC设计框架,包含顺序执行内核、乱序执行内核、加速器等组件

Scala risc-v
相似度
25%
+49
lowRISC

lowRISC/ibex

1.8k 694

Ibex是一款小型32位RISC-V CPU内核,前身为zero-riscy

SystemVerilog risc-v
相似度
25%
+11
pulp-platform

pulp-platform/axi

1.5k 344

用于高性能片上通信的AXI SystemVerilog可综合IP模块与验证框架。

SystemVerilog systemverilog
相似度
25%
+32
firesim

firesim/firesim

994 261

FireSim:具备本地与云端灵活性的快速便捷FPGA加速硬件仿真平台

Scala risc-v
相似度
25%
+2
soupslurpr

soupslurpr/AppVerifier

906 39

轻松验证应用程序。

Kotlin verification
相似度
25%
+3
chipsalliance

chipsalliance/Cores-VeeR-EL2

318 98

VeeR EL2处理器内核

SystemVerilog risc-v
相似度
25%
+3
ucb-bar

ucb-bar/chiseltest

233 74

面向Chisel设计RTL的全功能测试与形式验证库

Scala verification
相似度
25%
riscv

riscv/riscv-unified-db

149 112

该单仓库包含一个机器可读的 RISC-V 规范数据库以及工件生成工具。

Ruby risc-v
相似度
25%
助手