RISC-V RV64GC emulator designed for RTL co-simulation - BOOM: The Berkeley Out-of-Order RISC-V Processor - riscv-boom