Downloading does not program hardware or verify installation. If no approved revision is listed, complete an approved build first; a mutable current file is not a substitute.
For the complete Windows/Vivado GUI sequence and troubleshooting, see Vivado Artix-7 Flash Guide.
Open Build Approval history, select the intended .bit revision, and download it. Keep its exact revision identity with the file.
openFPGALoader church_wukong_xc7a100t.bit
Use the actual filename of the approved .bit you downloaded. Loading it writes the FPGA's volatile configuration; downloading alone does not.
Or via Vivado: Hardware Manager → Open target → Auto Connect → Program Device → select the .bit.
Approved .mcs export is not available in this workflow. Do not substitute a mutable release file or claim a .bit download as persistent installation.
External flash tooling requires its own explicit artifact selection and verification. This IDE does not currently verify persistent FPGA installation.
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