Memory Modeling in verliog