mrLSD/riscv-fs

This is stars and forks stats for /mrLSD/riscv-fs repository. As of 13 May, 2024 this repository has 273 stars and 17 forks.

RISC-V formal ISA Specification Copyright © Evgeny Ukhanov This is a formal (and executable) specification for the RISC-V ISA (Instruction Set Architecture), written in F# purely functional style. We deliberately choose an "extremely elementary" implementation of F# to make it readable and usable by wide audience who do not know F# and who do not plan to learn F#. This is a work-in-progress, one of several similar concurrent efforts within the ISA Formal Specification Technical Group constituted...