SRAM_CTL1_CFG
reg_value = sramc_read_4(sc, SRAM_CTL1_CFG);
sramc_write_4(sc, SRAM_CTL1_CFG, reg_value);