Vivado の GUI および TCL コマンドを使用して、ビットストリーム用のデバイス コンフィギュレーション プロパティを設定、表示、そしてレポートする方法について、また、異なったフォーマット (例 .bit および .bin) でプログラミング ビットストリームの生成方法も説明します。