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