【外评】如何改进 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规范分散在多个工件中，导致信息转录困难，需改进以支持扩展。
➡️
