Actually you are correct, I had forgotten that you cannot have more than one write per buffer with single-pumped Block RAMs.