verified with DRAMSIM2