Use ModelSim to simulate with actual Micron behavioural model; fix read/write bank bug