【外评】如何改进 RISC-V 规范
💡
原文中文，约3400字，阅读约需9分钟。
📝
内容提要
本文讨论了RISC-V规范的问题和改进方法，建议使用易于阅读和操作的格式来捕获架构，并将SAIL规范整合到文档中。作者还提到了将Spike模拟器与SAIL规范整合的可能性。总体而言，RISC-V规范需要改进以提高可读性和可重用性。
🎯
关键要点
- RISC-V规范由多个部分组成，包括指令集手册和SAIL模型。
- 当前RISC-V规范依赖自然语言，导致描述不精确且难以测试。
- 测试套件的可配置性差，无法检查所有允许的行为。
- SAIL模型是正式的架构规范，但使用不广泛，缺乏注释。
- 四种工件之间缺乏关联，导致架构扩展时需要重复编写代码。
- 建议使用易于阅读的机器可读格式（如JSON/YAML/XML）来捕获架构信息。
- 需要重构现有文档和工具，以便使用机器可读数据生成代码。
- SAIL语言对普通用户难以理解，需改进语法和默认值。
- SAIL规范未包含在架构手册中，建议将其与自然语言描述结合。
- Spike模拟器应能从SAIL规范中生成未来扩展的支持。
- RISC-V规范分散在多个工件中，导致信息转录困难，需改进以支持扩展。
❓
延伸问答
RISC-V规范目前存在哪些主要问题？
RISC-V规范依赖自然语言，描述不精确且难以测试，测试套件可配置性差，四个工件之间缺乏关联。
如何改进RISC-V规范的可读性和可重用性？
建议使用易于阅读的机器可读格式（如JSON/YAML/XML）来捕获架构信息，并重构现有文档和工具。
SAIL模型在RISC-V规范中有什么作用？
SAIL模型是正式的架构规范，提供精确的可执行描述，但使用不广泛，缺乏注释。
RISC-V规范的测试套件存在哪些不足？
测试套件难以配置，无法检查所有允许的行为，限制了对不同配置的支持。
如何将SAIL规范与自然语言描述结合？
建议将SAIL规范的每一部分与同一特性的自然语言描述放在同一页上，以增强理解。
Spike模拟器如何与SAIL规范整合？
Spike模拟器应能从SAIL规范中生成对未来扩展的支持，这需要定义接口以访问Spike中的状态。
➡️
