9.1.2 RISCV-Compliance 与 Imperas 测试套件

文档摘要

9.1.2 RISCV-Compliance 与 Imperas 测试套件在RISC-V生态的演进图谱中，验证从来不是终点，而是设计闭环中最锋利的那把刻刀——它不赞美功能的完备，只追问行为的精确；它不信任文档的承诺，只认准波形与断言的铁证。当一款RISC-V核从RTL仿真走向流片前的最后一道门，真正决定其“是否是RISC-V”的，不是指令集手册的页码厚度，而是它能否在riscv-compliance的千锤百炼下，不漏一条非法指令、不错一个特权模式跳转、不偏一比特CSR读写时序。