RISC-V

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
 
(未显示1个用户的3个中间版本)
第6行: 第6行:
  
 
==简介==
 
==简介==
 +
RISC-V:自由、开放的 [[RISC]] 指令集架构
 +
 
RISC-V 是一个基于精简指令集([[RISC]])原则的开源指令集架构(ISA),开源硬件运动的核心项目。
 
RISC-V 是一个基于精简指令集([[RISC]])原则的开源指令集架构(ISA),开源硬件运动的核心项目。
  
 
==基金会==
 
==基金会==
 +
RISC-V International 是一个非盈利组织,支持免费和开放的 [[RISC]] 指令集体系结构和扩展。
  
 
==设计==
 
==设计==
第16行: 第19行:
 
[[文件:Formal-Verification.png]]
 
[[文件:Formal-Verification.png]]
 
[[文件:Corespec.png|right]]
 
[[文件:Corespec.png|right]]
 
+
*[https://github.com/SymbioticEDA/riscv-formal RISC-V Formal Verification Framework]
 
*[https://deepspec.org The Science of Deep Specification] [https://deepspec.org/entry/Project/Haskell+CoreSpec Haskell CoreSpec] [https://riscv.org/wp-content/uploads/2017/12/Wed-1454-RISCV-AdamChlipala.pdf Strong Formal Verification for RISC-V]  
 
*[https://deepspec.org The Science of Deep Specification] [https://deepspec.org/entry/Project/Haskell+CoreSpec Haskell CoreSpec] [https://riscv.org/wp-content/uploads/2017/12/Wed-1454-RISCV-AdamChlipala.pdf Strong Formal Verification for RISC-V]  
 
*[https://wiki.haskell.org/Specification_and_proof Specification and proof] [https://programatica.cs.pdx.edu/P/diatchi.pdf A Formal Specification of the Haskell 98 Module System]
 
*[https://wiki.haskell.org/Specification_and_proof Specification and proof] [https://programatica.cs.pdx.edu/P/diatchi.pdf A Formal Specification of the Haskell 98 Module System]
第27行: 第30行:
  
 
==处理器==
 
==处理器==
 +
 +
==图书==
 +
*[http://www.riscvbook.com/ 《The RISC-V Reader: An Open Architecture Atlas》《RISC-V 开放架构设计之道》]
  
 
==图集==
 
==图集==
第32行: 第38行:
 
==链接==
 
==链接==
 
*[https://riscv.org/ RISC-V 官网]
 
*[https://riscv.org/ RISC-V 官网]
 +
*[http://www.crvic.org/sy 中国RISC-V产业联盟(CRVIC)]
  
 
[[category:processor]]
 
[[category:processor]]
 
[[category:architecture]]
 
[[category:architecture]]
 +
[[category:Huihoo Foundation]]

2025年1月7日 (二) 09:40的最后版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 RISC-V Thanks, Wikipedia.
RISC-V

RISC-V

目录

[编辑] 简介

RISC-V:自由、开放的 RISC 指令集架构

RISC-V 是一个基于精简指令集(RISC)原则的开源指令集架构(ISA),开源硬件运动的核心项目。

[编辑] 基金会

RISC-V International 是一个非盈利组织,支持免费和开放的 RISC 指令集体系结构和扩展。

[编辑] 设计

[编辑] 项目

涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域 Formal-Verification.png

Corespec.png

[编辑] 处理器

[编辑] 图书

[编辑] 图集

[编辑] 链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱