编程文件用于对FPGA进行配置。通过调试主机和目标FPGA之间的JTAG通道，将编程文件下载到目标FPGA中。

3.9.1 执行生成可编程文件

本节将生成可编程文件。生成编程文件的步骤如下所示。

第一步 ：在Vivado源文件窗口中，选择顶层设计文件“top.vhd/top.v”（取决于读者使用的设计流程）。

第二步 ：如图3.61所示，在Vivado左侧的“Flow Navigator”窗口下方，找到“Program and Debug”（编程和调试）选项，并展开。

第三步 ：在展开项中，单击“Generate Bitstream”（生成比特流）选项，开始生成编程文件。

第四步 ：生成编程文件后，准备下载到硬件中，进行验证。

3.9.2 生成编程文件选项

本节将介绍生成编程文件的选项的功能，以便读者在后续对比特流设置进行修改。如图3.61所示，在该界面内选择并单击“Bitstream Settings”选项，打开如图3.62所示的比特流配置界面。默认的，“write_bitstream”Tcl命令只生成一个二进制比特流（.bit）文件。通过使用下面的命令开关改变产生的文件格式。

1．-raw_bitfile

该选项产生原始比特文件，该文件包含和二进制比特流相同的信息，但它是ASCII格式。输出文件名字为“文件名.rbt”。

2．-mask_file

该选项产生一个掩码文件，该文件中有掩码数据，其配置数据在比特文件中。这个文件定义了比特流文件中的哪一位应该和回读数据进行比较，用于验证目的。如果掩码为0，需要验证比特流中的该位；否则不需要验证。输出文件的名字为“文件名.msk”。

3．-no_binary_bitfile

不产生二进制比特流文件。当想生成ASCII比特流或者掩码文件时，或者生成一个比特流文件时，使用该选项。

4．-logic_location_file

创建一个ASCII 逻辑定位文件（.ll），该文件给出了锁存器、LUT、BRAM及I/O块输入和输出的比特流位置。帧参考比特和位置文件中的比特数，帮助设计者观察FPGA寄存器的内容。

5．-bin_file

创建一个二进制文件（.bin），只包含所使用器件的编程数据，而没有标准比特流文件中的头部信息。

6．-reference_bitfile<arg>

读一个参考比特文件，输出一个增量比特流文件。只包含与指定参考文件不同之处，这个部分的比特流文件用于增量编程一个已经存在编程文件的器件，即更新。 AwtvxAOeeH+O/a3qZRvnxRF8+Of52IT7TiiN0uSaxaPEY4LaVATlYtKeeYhP3SEN