Learn how to set, list or report device configuration properties for a bitstream using Vivado Gui and TCL commands. Also it shows how to generate a programming bitstream with different formats (e.g. .bit and .bin).