Simulating a memory module


Hi, i am using xilinx edk 10.1.02. i have a verilog memory model of issi asynchronous sram found on xilinx spartan 3 board. how can i

1)simulate the model with microblaze using edk?wat is the procedure to be precise?

2)secondly as it is an asynchronous sram model do i need an external memory controller?if yes then how?

looking forward to ur help