For the complete Windows/Vivado GUI sequence and troubleshooting, see Vivado Artix-7 Flash Guide.
Unzip into a folder and open a terminal there.
openFPGALoader church_wukong_xc7a100t.bit
Download the pre-built .bit from the card above. This writes the FPGA's volatile configuration, so pressing reset or removing power clears it.
Or via Vivado: Hardware Manager → Open target → Auto Connect → Program Device → select the .bit.
Download the .mcs file from the purple button. In Vivado Hardware Manager, choose Add Configuration Memory Device, select n25q64-3.3v-spi-x1_x2_x4, then program the configuration memory with the downloaded .mcs.
This is the persistent “lock it home” path. It writes the Wukong’s SPI flash so the FPGA reloads this image after reset or power loss. Verify succeeds before resetting the board.
Press RESET or power-cycle the board. A correctly programmed .mcs restores the Church Machine without selecting the .bit again.
Open the Church Machine IDE → click 🔌 Connect Wukong → pick your board from the list. The IDE uploads the boot image automatically and the Church Machine starts running.
vivado -mode batch -source wukong_xc7a100t.tcl
Creates the project, runs synthesis + implementation (~30 min), and writes church_wukong_xc7a100t.bit.
openFPGALoader church_wukong_xc7a100t.bit