That's the maximum average. This is the slowest if you wish to evenly space your refreshes.
You only need to refresh the entire chip every 64ms if the chip is set to maximum 85deg C.
Check out the max
tRFC in the datasheet. It is actually 70.2ms.
Run your sim for 70.2ms without any refresh commands, and it should spit out an error.
Remember, it is possible to wait 60ms without any refreshing and then burst refresh commands back-back to do the entire chip in one shot without any error.
See Micron 4gb DDR3 data sheet, page 86, table 58, 'Refresh Timing'.
Download this data sheet:
Micron DDR3 datasheetCareful, running the DDR3 at 105 deg C shortens this 64ms time to 16ms meaning you also need to shrink the average refresh period if you run the DDR3 in this mode.
(Doesn't Xilinx have a free DDR3 ram controller?)