欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
RISC-V
来自开放百科 - 灰狐
(版本间的差异)
小 (→基金会) |
小 (→简介) |
||
第6行: | 第6行: | ||
==简介== | ==简介== | ||
+ | RISC-V:自由、开放的 [[RISC]] 指令集架构 | ||
+ | |||
RISC-V 是一个基于精简指令集([[RISC]])原则的开源指令集架构(ISA),开源硬件运动的核心项目。 | RISC-V 是一个基于精简指令集([[RISC]])原则的开源指令集架构(ISA),开源硬件运动的核心项目。 | ||
2022年5月17日 (二) 02:27的版本
您可以在Wikipedia上了解到此条目的英文信息 RISC-V Thanks, Wikipedia. |
RISC-V
目录 |
简介
RISC-V:自由、开放的 RISC 指令集架构
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(形式化系统设计的方法论)
处理器
图集
链接
分享您的观点