[csrng/dv] Fix for issue #7703

Signed-off-by: Steve Nelson <steve.nelson@wdc.com>
diff --git a/hw/ip/csrng/dv/env/csrng_env_cfg.sv b/hw/ip/csrng/dv/env/csrng_env_cfg.sv
index fadc78b..b3e9512 100644
--- a/hw/ip/csrng/dv/env/csrng_env_cfg.sv
+++ b/hw/ip/csrng/dv/env/csrng_env_cfg.sv
@@ -79,6 +79,7 @@
     bit [csrng_env_pkg::RSD_CTR_LEN-1:0]   hw_reseed_counter;
 
     csr_wr(.ptr(ral.int_state_num), .value(hwapp));
+    csr_rd_check(.ptr(ral.int_state_num), .compare_vs_ral(1'b1));
     for (int i = 0; i < RSD_CTR_LEN/TL_DW; i++) begin
       csr_rd(.ptr(ral.int_state_val), .value(rdata));
       hw_reseed_counter = (rdata<<TL_DW*i) + hw_reseed_counter;