如何在Vivado下设置BITSTREAM配置信息

首先我们看一下如何在Vivado下设置BITSTREAM配置信息。这可以在综合之后进行。借助如下操作：

打开综合后的设计

依次点击Tools-》 Edit Device Properties

会弹出如下界面。

在这个界面的左侧部分，相当于主菜单，右侧部分为菜单细节。例如，这里选择General，可以看到右侧BitstreamProperties细节。如果要对生成的bit文件进行压缩，就可以选择这里的Enable Bitstream Compression。有时如果只记得某个属性名字，不知道在哪个菜单下，可直接在搜索处（主菜单上方的放大镜处）输入关键字就可以快速找到。

这里我们选择SPI配置方式，同时将未使用的FPGA管脚设置为下拉。

事实上，这些信息最终都是以约束的形式被保存在.xdc文件中。上述设置对应的约束即为（这些命令会出现在Vivado Tcl Console中）：

如果已经执行完布局布线并生成了布线后的.dcp文件，那么如何从这个文件中获取BITSTREAM信息呢？这个借助Tcl命令就很简单，具体命令如下图所示。

其中第一条命令是将当前目录切换到Vivado工程所在目录。第二条命令则会生成BITSTREAM相关属性信息，并将其写入指定文件中。文件内容如下图所示。可以看到和之前的设置是一致的。

有兴趣的同学可执行下面的命令，观察输出结果，理解命令list_property和list_property_value的含义。

编辑：jq