Efficient memory simulation in SimICS