SRAM controller: testbench for R/W looks OK