Bitstream file format settings include options for generating an ASCII version of a bitstream or files used for readback. The Bitstream Settings button in the Vivado flow navigator or the Flow > Bitstream Settings menu selection opens the Bitstream section in the Project Settings popup window. For more details on configuration options in the Vivado design tools, see the Vivado Design Suite User Guide: Programming and Debugging (UG908).