Skip to content

Commit

Permalink
[RV_DM]rv_dm_mem_tl_access_halted_vseq
Browse files Browse the repository at this point in the history
This commit contains some slightly changes in data_type r_data.

Signed-off-by: Basit Mehmood <[email protected]>
  • Loading branch information
BasitMehmood committed Jan 22, 2024
1 parent 936fb04 commit d4732a4
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions hw/ip/rv_dm/dv/env/seq_lib/rv_dm_mem_tl_access_halted_vseq.sv
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit d4732a4

Please sign in to comment.