Medium Yosys to F4PGA
F4PGA should have already been installed, if not do the basic Yosys/F4PGA walkthrough.
Download all of the following files
Running Yosys, SpyDrNet TMR, and F4PGA
Once all of the files have been downloaded type navigate to their location and type in the command line
>>> make -C .
or
>>> make download -C .
Note: This will run Yosys and F4PGA then download the bitstream to the board
Programming Device
To download the bitstream to the board using the command line
>>> make download
Verifying if the Design Works
You should be able to play a game of pong through VGA. BTNU and BTNL control the left paddle, BTNR and BTND control the right paddle and BTNC resets the game.