Spike-pk在RISC-V RTL开发验证中的应用：黄金参考基准【一】、在看 RISC-V 的模拟器 spike 和 riscv-pk（或简称 spike-pk）这一套东西，挺神奇的，以前有个印象，这个东西在 RTL 开发中的应用，主要就是作为参考基准，和 RTL 上的数字电路设计的仿真进行比对，以找到 RTL 可能存在的对 RISCV 指令集设计实现上的错误。这在 picorv32 里似乎找到了，因为它有使用 spike 的仿真结果和其它结果比对，典型的是在 picorv32/scripts/csmith/Makefile 中，发现了大量的使用比较的方法，其中有一个