sail-riscv
RISC-V spec
A comprehensive formal specification of a RISC-V processor architecture using the Sail language
Sail RISC-V model
461 stars
45 watching
167 forks
Language: Coq
last commit: 8 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 mit-plv/riscv-coq | An implementation of the RISC-V instruction set specification in Coq | 109 |
| mit-plv/riscv-semantics | A formal specification of the RISC-V instruction set architecture in Haskell | 156 |
 chipsalliance/riscv-dv | An instruction generator for RISC-V processor verification | 1,020 |
 olofk/serv | An award-winning RISC-V CPU designed for low-power and area-efficient designs | 1,442 |
 mrlsd/riscv-fs | A F# implementation of the RISC-V Instruction Set Architecture | 282 |
 sifive/prockami | Formal verification and implementation of RISC-V processor designs using Coq. | 22 |
 mariusmm/risc-v-tlm | A RISC-V processor simulator with SystemC and TLM-2 support for various instruction sets and peripherals. | 276 |
 standardsemiconductor/lion | Develops a formally verified RISC-V processor core using Haskell | 249 |
 riscv-mcu/riscv-openocd | A fork of OpenOCD with RISC-V microcontroller support | 34 |
 moonbaseotago/vroom | A high-performance RISC-V CPU implementation designed for cloud servers | 479 |
 lowrisc/muntjac | A minimal 64-bit RISC-V multicore processor designed to be easy to understand and extend for educational and academic purposes. | 78 |
 b224hisl/rioschip | A small RISC-V core designed to support out-of-order execution and double issue architecture for efficient instruction processing. | 32 |
 black-parrot/black-parrot | A Linux-capable RISC-V multicore accelerator designed to be small, modular, and easy to use for various applications. | 626 |
 riscv-rust/longan-nano | A Rust-based board support package for programming and booting the Longan Nano RISC-V microcontroller board | 117 |
 openhwgroup/core-v-verif | Functional verification project for RISC-V cores | 446 |