欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
RISC-V
来自开放百科 - 灰狐
![]() |
您可以在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(形式化系统设计的方法论)
处理器
图集
链接
分享您的观点