五、分享优秀的 RISC-V 项目资源

简介: 五、分享优秀的 RISC-V 项目资源

处理器实现

BOOM: Christopher Celio的RV64乱序处理器实现。Chisel, BSD Licensed。 [GitHub] [Doc]


BottleRocket: RV32IMC微处理器。Chisel, Apache Licensed。   [GitHub]


bwitherspoon: RV32微处理器。SystemVerilog, ISC Licensed。 [GitHub]


Clarvi: 剑桥大学教学用RISC-V处理器。SystemVerilog, BSD Licensed。 [GitHub]


F32: 针对FPGA的RV32微处理器,VHDL,BSD Licensed。 [GitHub]


GRVI: Gray Research LLC. 针对FPGA优化的RV32微处理器,commercial licensed。 [Web]


Hummingbird E200. 二级流水线,目标替代Cortex-M0/8051, Verilog, Apache 2.0 licensed。 [GitHub]


invicta: 一级流水线的RV32微处理器。Verilog,BSD Licensed。 [GitHub]


Kamikaze: RV32微处理器。Verilog,MIT Liencensed。 [GitHub]


KCP53000: Samuel A. Falvo II的RV64处理器实现。Verilog, MPL Licensed。 [GitHub]


nanorv32: 2机流水线的RV32实现。Verilog, GPLv2 Licensed。 [GitHub]


OpenV: 支持RV32的开源微处理器,Verilog,MIT Licensed,OnChipUIS,来源于哥伦比亚的Universidad Industrial de Santander。 [GitHub]


ORCA: 支持RV32的开源微处理器,VHDL,BSD Licensed,VectorBlox。 [Github]


PicoRV32: Clifford Wolf设计的(针对FPGA)RV32微处理器,Verilog,ISC Licensed。 [GitHub]


Potato: 针对FPGA的RV32微处理器。VHDL,BSD Licensed。 [GitHub]


RI5CY:支持RV32的开源微处理器

PULPino: SystemVerilog,Solderpad Licensed, 来源于苏黎世理工和博洛尼亚大学的PULP项目。 [GitHub] [Web]

RIDERCORE: RISC-V乱序处理器设计。Verilog, BSD Licensed。 [GitHub]


River: GNSS Senor Ltd.基于Rocket架构开发的RV64处理器。VHDL, BSD Licensed。 [GitHub]


Rocket: 支持RV64/32的开源处理器

Rocket-Chip: Chisel,BSD Licensed, Free chips project, UC Berkeley分离的开源工程。 [GitHub]

Freedom: Chisel,Apache Licensed, SiFive, UC Berkeley分离的初创企业。 [GitHub] [Web]

lowRISC:Chisel+SystemVerilog,Solderpad Licensed, 从剑桥大学发起的非盈利组织。 [GitHub] [Web]

RoCC: the Rocket customized coprocessor interface 和Rocket处理器紧密互联的的协处理器接口。 [BSG]

RV12: RoaLogic的RV32微处理器。Verilog, RoaLogic non-commercial Licensed。 [GitHub]


SCR1: Syntacore的RV32开源微处理器。SystemVerilog,Solerpad Licensed。 [GitHub]


SHAKTI:印度IIT-Madras的RISC-V处理器系列,Bluespec, BSD Licensed。 [Bitbucket]


Sodor: 教学用的RISC-V处理器。Chisel, BSD Licensed。 [GitHub]


uRV: 针对FPGA的RV32微处理器。Verilog,LGPLv3 Licensed. [ohwr]


VexRiscv: 用SpinalHDL编写的针对FPGA的RV32微处理器。SpinalHDL, MIT Licensed。 [GitHub]


YARVI: Tommy Thorn设计的RV32I微处理器,Verilog,GPL2v Licensed。 [GitHub]

其他硬件模块

RISCV-FPU:王逵的FPU设计。 [GitHub]

操作系统

Linux

RISCVEMU: Fabrice Bellard维护的RISC-V Linux emulator。

JSLinux: Fabrice Bellard维护的可在浏览器里运行的RISC-V操作系统。

Linux distribution

Debian:Debian RISC-V port

Fedora:Fedora RISC-V port

Fedora:bootstrap:Fedora RISC-V complation scripts

开发工具

GNU工具链

RISC-V GNU GCC riscv-gnu-toolchain

Andes LLVM port riscv-llvm-toolchain

lowRISC LLVM upstream patches riscv-llvm

lowRISC LLVM integration riscv-llvm-integration

Palmer Dabbelt的RISC-V GCC参数解释

Palmer Dabbelt的FAQ about RISC-V Software。

RISC-V C library

glibc

newlib

musl:link1 & link2

运行和仿真

rv8: x86-64上的RISC-V二进制仿真器,支持即时编译优化。

FireSim: 一个由加州伯克利开发的利用FPGA加速的cycle-accurate硬件仿真Amazon F1云平台。

MIDAS: 利用FPGA加速的cycle-accurate硬件仿真器,FireSim的后台。

在线调试

embecosm/riscv-gdbserver: 由Embecosm维护的用于连接GDB的宿主机library,现在还只能用于调试Embecosm的picorv32 port。

各种语言支持:

Rust toolchain by RISC-V LLVM

Go on risc-v

形式化验证

指令集的形式化模型

Prashant Mundkur (SRI) 的L3模型

Clifford Wolf 的Verilog模型和文档

Rishiyur Nikhil (Bluespec, Inc.)的BSV模型

Peter Sewell (Cambridge)的SAIL模型

文档

标准文档

RISC-V User Spec V 2.20 [PDF] [GitHub]

RISC-V Privileged Spec V 1.10 [PDF] [GitHub]

近似标准的文档

RISC-V 工具链资料搜集页面 [GitHub]

RISC-V ELF psABI Document [GitHub]

RISC-V assembly manual [GitHub]

RV8 的 ISA 总结 [GitHub]

RISC-V 微处理器平台描述 [GitHub] [Web]

Device tree文档 [GitHub]

Unix-class Platform文档    [GitHub]

Spike

Tutuorial on Spike Internal

Chisel

FAQ

User Guide

ScalaDoc

Chisel Learning Journey

Rocket

SiFive platforms

lowRISC SoCs

TileLink

Rocket-chip阅读笔记

教学课程

CMU 447 Introduction to Computer Architecture

Cornell ECE 4750 Computer Architecture

MIT 6.175 Constructive Computer Architecture

丹麦技术大学(DTU) Computer Architecture and Engineering course

Berkeley CS61C Great Ideas in machine structure

Berkeley EECS151 Introduction to Digital Design and Integrated Circuits

Ripes:教学用的图形化处理器流水线

书籍

David Patterson John Hennessy著:Computer Organization and Design RISC-V Edition

Blog

Nitish Srivastava: Adding custom instruction to RISCV ISA and running it on gem5 and spike

其他

CNRV中国镜像: 提供大量RISC-V相关工程的国内下载镜像。

RISC-V wiki: 由Arun维护的近官方RISC-V维科页面。

What Every Programmer Should Know About Floating-Point Arithmetic

“RISC-V” from Wikipedia


相关文章
|
机器学习/深度学习 人工智能 算法
|
存储 边缘计算 固态存储
玄铁RISC-V处理器入门与实战-平头哥玄铁CPU IP-面向高性能领域CPU
玄铁RISC-V处理器入门与实战-平头哥玄铁CPU IP-
1483 0
|
5月前
|
缓存 C语言 计算机视觉
程序与技术分享:CPU0处理器的架构及应用
程序与技术分享:CPU0处理器的架构及应用
|
4月前
|
Cloud Native Devops 数据库
云原生架构:未来软件开发的引擎深入理解操作系统的虚拟内存管理
【7月更文挑战第30天】在这篇文章中,我们将深入探讨云原生架构的概念,以及它如何改变软件开发的世界。我们将从云原生的基本概念开始,然后深入到它的关键技术和实践,最后讨论它对软件开发的未来影响。无论你是软件开发者,还是IT专业人士,这篇文章都将为你提供深入理解和掌握云原生架构的重要信息。 【7月更文挑战第30天】在数字世界的构建中,虚拟内存是操作系统不可或缺的一环。本文将探索虚拟内存的核心概念、工作机制及其对现代计算环境的重要性,同时揭示其背后的技术细节和面临的挑战。
42 3
|
人工智能 负载均衡 安全
玄铁RISC-V处理器入门与实战-平头哥玄铁CPU 系统-YoC
玄铁RISC-V处理器入门与实战-平头哥玄铁CPU 系统
526 1
|
存储 安全 芯片
|
安全 Ubuntu Unix
玄铁RISC-V处理器入门与实战-RISC-V 处理器架构-RISC-V架构现状和未来
玄铁RISC-V处理器入门与实战-RISC-V 处理器架构
608 0
|
机器学习/深度学习 算法 Java
嵌入式 CPU 平台部署
现今的物联网技术正经历着日新月异的发展,物联智能的概念已经深入人心,人们的工作、学习和娱乐都离不开与物联智能设备的交互,而物联设备的基础是嵌入式技术。
270 0
嵌入式 CPU 平台部署
|
NoSQL IDE 物联网
RISC-V生态全景解析(八):平头哥玄铁CPU调试系统介绍
编辑语: 芯片开放社区(OCC)面向开发者推出RISC-V系列内容,通过多角度、全方位解读RISC-V,系统性梳理总结相关理论知识,构建RISC-V知识图谱,促进开发者对RISC-V生态全貌的了解。
2301 0
RISC-V生态全景解析(八):平头哥玄铁CPU调试系统介绍
|
NoSQL IDE 物联网
平头哥玄铁CPU调试系统介绍
本文将简单介绍CPU的调试系统,并深入描述玄铁CPU的调试系统。
2052 1
平头哥玄铁CPU调试系统介绍