platin does not model data cache