Using VIVADO, Nexys DDR 4 board with RISC-V PicoRV32 CPU - View it on GitHub