F# RISC-V Instruction Set formal specification

This web content provides a formal and executable specification for the RISC-V Instruction Set Architecture (ISA). It is written in F# purely functional style, with a deliberately elementary implementation to make it accessible to a wide audience. The specification is a work-in-progress and is part of the ISA Formal Specification Technical Group formed by The RISC-V Foundation. The content features and current status of the specification are outlined, including support for various instruction sets and extensions, privilege levels, and virtual memory schemes. The content also provides instructions on how to build and run the application executable on RISC-V binaries using .NET SDK. The web content concludes by inviting feedback and references relevant resources. No controversial or surprising information is mentioned.


To top