Selfie tools (RISC-V spike emulator and pk kernel, RISC-V QEMU, Boolector)