F# RISC-V Instruction Set formal specification
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
What is F# RISC-V Instruction Set formal specification?
riscv-fs is a formal and executable specification of the RISC-V Instruction Set Architecture (ISA) written in F#. It provides a precise, readable definition of RISC-V instruction semantics and can function as a sequential simulator to run RISC-V binaries. The project aims to clarify ISA details for developers, educators, and verification engineers.
Computer architects, hardware verification engineers, educators teaching computer architecture, and developers working with RISC-V who need a clear, executable reference for the ISA.
It offers a unique blend of formal specification and practical executability in a clean functional style, making RISC-V semantics accessible without requiring deep F# expertise, unlike many low-level or verification-focused alternatives.
Overview
F# RISC-V Instruction Set formal specification
Use Cases
Best For
- Understanding RISC-V instruction semantics through executable code
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.