Spike, the RISC-V ISA Simulator, implements a functional model of one or
more RISC-V harts.
