RISC-V

2022年5月17日 (二) 02:26的版本

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

RISC-V

简介

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

基金会

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

设计

项目

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

• The Science of Deep Specification Haskell CoreSpec Strong Formal Verification for RISC-V
• Specification and proof A Formal Specification of the Haskell 98 Module System
• RISC-V资源列表
• GRIFT A richly-typed, deeply-embedded RISC-V semantics written in Haskell
• Lion Where Lions Roam: RISC-V on the VELDT
• riscv-semantics A formal semantics of the RISC-V ISA in Haskell
• Retrocomputing with Clash: Haskell for FPGA Hardware Design
• ForSyDe A Methodology for Formal System Design（形式化系统设计的方法论）

处理器

图集

链接

• RISC-V 官网