主要观点：

• 主要项目是创建英特尔架构的可执行规范，偶尔会研究其他 ISA 规范的优缺点。
• RISC - V 规范由多个部分组成，包括指令集手册、测试套件、Sail 模型等，但存在一些问题。
• 规范现状不佳，各部分相互脱节，测试套件配置困难，Sail 模型未充分利用。
• 应将架构尽可能用易读易操作的格式捕获，改进各部分以利用机器可读数据。
• Sail 规范对普通用户较难理解，应简化语法并与文档更好整合。
• 存在 Sail 规范和 Spike 黄金参考模拟器两个可执行部分，应使 Spike 支持从 Sail 规范生成。

关键信息：

• RISC - V 规范的主要组成部分及用途，如指令集手册、测试套件、Sail 模型、Spike 模拟器等。
• 规范存在的问题，如自然语言描述不精确、测试套件配置困难、Sail 模型未充分利用等。
• 改进建议，包括用易读格式捕获架构、改进 Sail 语法和整合、使 Spike 从 Sail 生成等。
• 相关讨论在 Hacker News 上，以及相关的帖子和论文。

重要细节：

• RISC - V 指令集手册有两卷，分别描述无特权和特权部分。
• 测试套件用于检查处理器对架构的实现，Spike 曾是黄金参考模型但部分扩展未在 Sail 中指定。
• Sail 语言基于多种学术语言和研究思想，对普通用户较难理解。
• 历史上 RISC - V 以快速创新为主，导致架构规范分散，随着扩展增多出现问题。