RISC-V formal spec public review

To all who are interested in ISA Formal Specification for RISC-V, we (the ISA Formal Spec Technical Group in the RISC-V Foundation) invite your feedback on several draft Formal Specifications of the RISC-V ISA. There are two ways to provide feedback (please at least fill in the questionnaire):

We are particularly interested in:

At the end of the feedback period, the ISA Formal Spec Technical Group will respond to each issue raised, and will make a recommendation to the RISC-V Foundation about which of the five specs should be adopted as the “official” spec. A RISC-V ISA Formal Spec is a purely functional, precise and formal, simple specification of the ISA.

Source: github.com