The author discusses the RISC-V specification, pointing out its multiple parts like the Instruction Set Manuals, Test Suites, Spike ISA Simulator, and SAIL model. They express concerns about the natural language text in the specification, lack of precision, and disconnect between artifacts. They propose creating a machine-readable specification for easier use and updating of artifacts like architecture manuals and simulators. The author highlights issues with the complexity of the SAIL language and suggests splitting it into smaller pieces for better integration into documentation. Overall, the author criticizes the scattered nature of the RISC-V architecture specification and calls for a more cohesive approach.
https://alastairreid.github.io/riscv-spec-issues/