https://gitlab.rhrk.uni-kl.de/Hasak/epl.ss21.t03/-/tree/master/picorv32#:~:text=PicoRV32%20is%20a%20CPU%20core,via%20the%20RISC%2DV%20Website. https://verificationguide.com/verilog-examples/