How do I generate a MSK file with Data2mem to verify my bitstream?
Solution
The mask file does not take the BRAM contents into account. Hence the mask file generated in bitgen with the -m switch can be renamed to download.msk and used with download.bit.