Vivado软件进行BIT文件回读和校验

该方法适用于怀疑fpga芯片出问题时，进行bit遍历
使用方法如下：

1.第一步先在生成bit的时候勾选msk文件
2.下载要回读的bit进fpga中
3.执行readback_hw_device -bin_file a.bin回读回刚刚下载的bit文件
4.在tcl控制台输入命令create_hw_bitstream -hw_device [current_hw_device]
5.在tcl控制台输入命令create_hw_bitstream -hw_device [current_hw_device] -mask 你的文件名字.msk(mask后的名字为你生成的文件名字，需要使用pwd查询当前tcl控制台路径，先将该文件放入tcl路径中)
5.输入verify_hw_devices就可以开始校验bit文件是否正确。