Hadn't heard of the VELDT board that this design targets, but it looks like it's based on the Lattice ICE40 which means you can use the open source yosys/symbif

Hadn't heard of the VELDT board that this design targets, but it looks like it's based on the Lattice ICE40 which means you can use the open source yosys/symbiflow tools.