3748 - Diamond: Why are there bit locations in the readback file that are not equal to zero in the *.msk files?
The bits in mask are AND'ed with the readback file and compared. So only bits that are '1' in mask file need to be compared to verify.
Mask files can be generated from Diamond Project Navigator. They are optionally generated by the user from the "Strategy" GUI. The "Bitstream Strategy" options outputs the "mask file" to be generated when the bit generation process is completed. These mask files contain the design information that allows the capabilities of ispVM or Diamond Programmer to accurately "Verify" the design.
Users can also use the Programming File Utility application if you are comparing two readback files (.rbk), browse for the mask file (.msc) to include masked bits in the comparison.