Save Bitstream to micro-SD Card
On the main page, switch the bookmark from “Overview” to
“Others” and click “Upload to SD Card”.
Select the SD card folder where you want to save the bitstream,
select the bitstream you want to download, select the control
device, and press "Yes":