diff --git a/hw/ip/rv_dm/dv/env/seq_lib/rv_dm_mem_tl_access_halted_vseq.sv b/hw/ip/rv_dm/dv/env/seq_lib/rv_dm_mem_tl_access_halted_vseq.sv index efa54c484025c..8abad5ecc470a 100644 --- a/hw/ip/rv_dm/dv/env/seq_lib/rv_dm_mem_tl_access_halted_vseq.sv +++ b/hw/ip/rv_dm/dv/env/seq_lib/rv_dm_mem_tl_access_halted_vseq.sv @@ -16,17 +16,16 @@ class rv_dm_mem_tl_access_halted_vseq extends rv_dm_base_vseq; } task body(); - uvm_reg_data_t rw_data; + uvm_reg_data_t r_data; repeat ($urandom_range(1, 10)) begin - rw_data = $urandom_range(0, 1); // Verify that writing to HALTED results in anyhalted and allhalted to be set. csr_wr(.ptr(jtag_dmi_ral.dmcontrol.haltreq), .value(1)); cfg.clk_rst_vif.wait_clks($urandom_range(0, 1000)); csr_wr(.ptr(tl_mem_ral.halted), .value(0)); cfg.clk_rst_vif.wait_clks($urandom_range(0, 1000)); - csr_rd(.ptr(jtag_dmi_ral.dmstatus), .value(rw_data)); - `DV_CHECK_EQ(1, get_field_val(jtag_dmi_ral.dmstatus.anyhalted, rw_data)) - `DV_CHECK_EQ(1, get_field_val(jtag_dmi_ral.dmstatus.allhalted, rw_data)) + csr_rd(.ptr(jtag_dmi_ral.dmstatus), .value(r_data)); + `DV_CHECK_EQ(1, get_field_val(jtag_dmi_ral.dmstatus.anyhalted, r_data)) + `DV_CHECK_EQ(1, get_field_val(jtag_dmi_ral.dmstatus.allhalted, r_data)) cfg.clk_rst_vif.wait_clks($urandom_range(1, 10)); end endtask : body