There are additional Tools needed for Spinal HDL to work. hereafter are named the most common with references for further studies.
For writing and executing the scala code
Behind the scene SpinalHDL is generating a C++ cycle accurate model of your hardware by generating the equivalent Verilog and asking Verilator to convert it into a C++ model.
MYSYS2 for windows only