【外评】如何改进 RISC-V 规范
原文中文，约3400字，阅读约需9分钟。
📝
内容提要
本文讨论了RISC-V规范的问题和改进方法，建议使用易于阅读和操作的格式来捕获架构，并将SAIL规范整合到文档中。作者还提到了将Spike模拟器与SAIL规范整合的可能性。总体而言，RISC-V规范需要改进以提高可读性和可重用性。
❓
Q&A
RISC-V规范目前存在哪些主要问题？
RISC-V规范依赖自然语言，描述不精确且难以测试，测试套件可配置性差，四个工件之间缺乏关联。
如何改进RISC-V规范的可读性和可重用性？
建议使用易于阅读的机器可读格式（如JSON/YAML/XML）来捕获架构信息，并重构现有文档和工具。
SAIL模型在RISC-V规范中有什么作用？
SAIL模型是正式的架构规范，提供精确的可执行描述，但使用不广泛，缺乏注释。
RISC-V规范的测试套件存在哪些不足？
测试套件难以配置，无法检查所有允许的行为，限制了对不同配置的支持。
如何将SAIL规范与自然语言描述结合？
建议将SAIL规范的每一部分与同一特性的自然语言描述放在同一页上，以增强理解。
Spike模拟器如何与SAIL规范整合？
Spike模拟器应能从SAIL规范中生成对未来扩展的支持，这需要定义接口以访问Spike中的状态。
🏷️
