yes. I suggest making an invalid mem file if possible -- one that has an incorrect length of 0's for the last all 0 element or such. Quartus has had issues in the past with readmem and can fail silently. If there is a minor problem in the file, quartus will fix it and give a warning. Or it won't fix it and won't report the warning. Either way, its easier than opening the chip editor to confirm the ram was loaded. They may have fixed that and the other readmem issue (readmem also can't handle parameters for the file name, it must be a hard-coded file name. there is a workaround for that, but it is ugly)