sail-riscv

Similar projects

Found by comparing what the projects do, not just their names.

• mit-plv/riscv-coq110

  RISC-V spec

  An implementation of the RISC-V instruction set specification in Coq

• mit-plv/riscv-semantics159

  RISC-V semantics

  A formal specification of the RISC-V instruction set architecture in Haskell

• chipsalliance/riscv-dv1K

  RISC-V simulator

  An instruction generator for RISC-V processor verification

• olofk/serv1.5K

  RISC-V CPU

  An award-winning RISC-V CPU designed for low-power and area-efficient designs

• mrlsd/riscv-fs282

  RISC-V emulator

  A F# implementation of the RISC-V Instruction Set Architecture

• sifive/prockami22

  Processor simulator

  Formal verification and implementation of RISC-V processor designs using Coq.

• mariusmm/risc-v-tlm285

  RISC-V simulator

  A RISC-V processor simulator with SystemC and TLM-2 support for various instruction sets and peripherals.

• standardsemiconductor/lion249

  RISC-V core

  Develops a formally verified RISC-V processor core using Haskell

• riscv-mcu/riscv-openocd35

  RISC-V debugger

  A fork of OpenOCD with RISC-V microcontroller support

• moonbaseotago/vroom481

  RISC-V CPU

  An open-source RISC-V CPU implementation with high performance and multithreading capabilities.

• lowrisc/muntjac79

  RISC-V processor

  A minimal 64-bit RISC-V multicore processor designed to be easy to understand and extend for educational and academic purposes.

• b224hisl/rioschip33

  RISC-V processor

  A small RISC-V core designed to support out-of-order execution and double issue architecture for efficient instruction processing.

• black-parrot/black-parrot634

  RISC-V core

  A Linux-capable RISC-V multicore accelerator designed to be small, modular, and easy to use for various applications.

• riscv-rust/longan-nano118

  Board support crate

  A Rust-based board support package for the Longan Nano board

• openhwgroup/core-v-verif458

  RISC-V core simulator

  Functional verification project for RISC-V cores