參考資料：
[Xilinx UG898] Vivado Design Suite User Guide: Embedded Processor Hardware Design?
[Xilinx AR# 63041] 2015.1 - Vivado IP Integrator - write_mem_info does not create MMI file?

上面一個文檔里有一章專門講mmi文件和updatemem命令。
下面帖子里描述了如何在有Memory Controller IP的Block Design中生成mmi文件，并附了一個tcl腳本。雖然我的系統中既沒有Memory Controller、也沒有Block Design，但資料還是有很大的參考意義。

實際上我把這個例子做了一遍，然后改寫了它生成的mmi。

mmi文件大概是這個模樣：

又是XML，現在不寫幾個XML都不好意思說自己用過Vivado……

這段代碼主要需要修改的是：

里面：Name是自己隨便起的；0和65535是分別是最小和最大地址，這里面地址的單位是字節，總共64KBytes，與總線是32位無關；另外這個地址應該是可以不從0起始的。

每一個里面：MSB、LSB、Begin、End這些和上面xdc約束文件中的每一項是對應的，Placement根據Implemented Design中搜索的結果來定。

里面：根據自己的FPGA型號修改，這個不用多說。

P.S. 在以前做bmm文件的時候，像Placement這種值是可以綜合器自動幫助填寫的，暫時還沒發現如何在自定義bram時在mmi文件上實現類似功能。

合成Bitstream
參考資料：?
[Xilinx AR# 63041] 2015.1 - Vivado IP Integrator - write_mem_info does not create MMI file?

首先生成要往BRAM里燒寫的數據，mem或elf格式。我這里是Keil MDK編譯的可執行文件，直接把axf擴展名改成elf就能用。

把mmi、elf文件都放在Vivado工程的.runsimpl_1文件夾下，在Vivado中運行tcl命令：
cd {C: on_processor_mmiproject_1.runsimpl_1}

updatemem -force --meminfo mmi文件名.mmi --data elf文件名.elf --bit 原始的bit文件.bit --proc dummy --out download.bit

其中C: on_processor_mmiproject_1.runsimpl_1改成自己的工程文件夾。
updatemem后面跟著的是一行命令，比較長。

祈禱沒有錯誤吧，然后可以看到impl_1文件夾中多了一個download.bit文件。
這一段可以看到Vivado重新launch_runs了write_bitstream，生成了一個新的bit文件，但并沒有再次綜合實現。

最后用Hardware Manager把Bitstream下載到FPGA中。

如何更新數據

比如說我用Keil MDK重新編譯出了一個elf，那么只需要再次運行
updatemem -force --meminfo xxx.mmi --data yyy.elf --bit zzz.bit --proc dummy --out download.bit

就可以得到合成后的Bitstream，不需要再次綜合。

總結

編寫HDL文件，將寄存器強制定義在BRAM上；

綜合實現一遍；

在xdc約束文件中添加bmm屬性；

編寫mmi文件；

運行updatemem合成Bitstream。

關于data2mem

這里記錄一下在查找資料過程中查到的利用bmm合成bit的資料，待之后嘗試。

[Xilinx UG658] Data2MEM User Guide?
Xilinx的data2mem使用手冊，支持到ISE 14.7。

[Xilinx Answer 46945] Data2Mem Usage and Debugging Guide?
Xilinx整理的Data2Mem相關問答，相當于上面手冊的補充說明，更實用一些的內容。

Using Data2Mem in a Non-EDK design?
Xilinx的另一篇文檔，內容如其名。

Loading BRAM data?
這個wiki中作者記錄了用data2mem合成AVR核的存儲器數據的各種方法，使用的環境是ISE 12.4。

spartan3 picoblaze how to make .bmm file work?
這個帖子下面Walter Dvorak的回復提到了ISE可以自動生成bmm文件中的PLACED字段，使用的環境是ISE9.1.3。

Using Xilinx Data2MEM to Patch Block RAMs?
這個帖子把生成bmm到使用data2mem的過程總結的比較完整，其中也提到了上面那個Walter Dvorak的回復。