I loaded their example Verilog and tried to download it. Oh. The software doesn’t download to the FPGA. That’s another piece of software you have to get from their web site. Does it support Linux?
A discussion of programming techniques in Verilog, including gate level modeling, model instantiation, dataflow modeling, and behavioral modeling A treatment of programmable and reconfigurable devices ...
unfortunately there is no a Verilog model nor sample code for this device. There is an IBIS model available for the device in the Design and Development Tab of the product folder.
While there has been no shortage of FPGA-based recreations of classic processors ... ground up and started with a 6502 implementation in Verilog. You can see in the second video below that ...