riscv/sail-riscv

This is stars and forks stats for /riscv/sail-riscv repository. As of 26 Apr, 2024 this repository has 324 stars and 103 forks.

RISCV Sail Model This repository contains a formal specification of the RISC-V architecture, written in Sail (repo). It has been adopted by the RISC-V Foundation. As of 2021-08-24, the repo has been moved from https://github.com/rems-project/sail-riscv to https://github.com/riscv/sail-riscv. The model specifies assembly language formats of the instructions, the corresponding encoders and decoders, and the instruction semantics. The current status of its coverage of the prose RISC-V specification...