I am currently trying to read and write to my Nexys 4 DDR boards DDR2 SDRAM. I have gotten as far as being able to use the example hello world project and have it print out to my SDK terminal. The next step I would like to do is write to the SDRAM and then read the contents out in the form of a bitstream from the Memory. To do this I would like to extend the refresh rate of the SDRAM which I would also could use help with. Does anyone out there know of the syntax and or function calls I can make in C to accomplish these tasks? Thanks in advance!