Stimulus Generation for Functional Verification of Memory Systems