面向 FPGA 和 MPSoC 的比特流验证与回读 - 2023.2 简体中文

AMD Vivado™ IDE 可对下载到 FPGA/MPSoC 中的配置数据（即，.bit 文件）进行验证和/或回读。使用 write_bitstream 生成 .bit 文件时，请使用 -mask_file 选项来创建对应的掩码 (.msk) 文件。在 Vivado IDE Tcl 控制台中运行 write_bitstream -help 即可获取有关比特流生成选项的详细信息。

执行验证操作时，verify_hw_devices Tcl 命令会从 FPGA/MPSoC 回读数据，并使用 .msk 文件来判定哪些回读数据位可跳过以及哪些数据位用于与 .bit 文件中的对应位进行比较。

以下是比特流验证 Tcl 命令序列示例（.bit 和 .msk 文件是由上一次调用 write_bitstream 所生成的）：

create_hw_bitstream -hw_device [current_hw_device] \
          -mask kcu105_cnt_ila_uncmpr.msk  kcu105_cnt_ila_uncmpr.bit
verify_hw_devices [current_hw_device]

您可使用 Vivado 硬件管理器来验证配置数据。右键单击器件，然后单击Verify Device（验证器件），如下所示：

这样会打开“Verify Device”（验证器件）对话框。

您需要输入 BIT 文件和对应的掩码 (.msk) 文件。单击Verify（验证）以执行验证。

对以下至少一个选项使用 readback_hw_device Tcl 命令以回读 FPGA/MPSoC 配置数据：

• 要将回读数据保存为 ASCII 格式，请执行以下操作：

  -readback_file <filename.rbd>

• 要将回读数据保存为二进制文件格式，请执行以下操作：

  -bin_file <filename.bin>

示例：ASCII 格式和二进制文件格式的回读 FPGA/MPSoC 配置数据：

readback_hw_device [current_hw_device] \
     -readback_file  kcu105_cnt_ila_uncmpr_rb.rbd \
     -bin_file           kcu105_cnt_ila_uncmpr_rb.bin

1. 比特流和回读操作都是通过 Tcl 控制台完成的。
2. 验证和回读操作对于以加密比特流编程的 FPGA 或 MPSoC 无效。加密比特流包含禁用回读的命令。要重新启用回读，可对器件的 PROG 管脚进行脉冲，或者将器件/开发板下电然后重新上电。
3. 使用 readback_hw_device 回读的数据仅包含配置数据（不包含配置命令）。

如需获取有关回读和掩码文件的更多信息，请参阅 UltraScale 架构配置用户指南(UG570) 中的“验证回读数据”部分或者请参阅 7 系列 FPGA 配置用户指南(UG470)。