Update memory model and add MemoryCtrl for details