[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;