AWS F1 instance generates AFIs

Dear customer

Thank you so much for your interest in using F1 instances. The output of create-image will be an AFI and the customer will use the AGFI ID provided as output by create-image to program FPGA with the design. There is no bitfile required as part of the F1 development flow. Please refer to https://github.com/aws/aws-fpga/blob/master/hdk/README.md for step by step instructions. These AFI images are F1 specific versions of FPGA bitstream files to program FPGAs on F1 instances. Please feel free to let us know if you have any further questions. Thanks

By generating an AFI, a bitstream is generated, but this bitstream is only used by internal AWS tools. It is not directly visible to or interactable with by the customer.

https://github.com/aws/aws-fpga/blob/a6e03487314959c9846e2095bf0b8cd0183a0b48/FAQs.md#general-f1-faqs

The developers' output is a Design Checkpoint (DCP) and not an FPGA bitstream: The FPGA bitstream is actually generated by AWS after the developer submits the DCP.

Generated bitstreams are encrypted.