RISCV lock-step checker based on Spike - View it on GitHub