update the memory constraint specification