update the memeory constraint specification