[dv, rstmgr] DV updates for design change
Signed-off-by: Timothy Chen <timothytim@google.com>
diff --git a/hw/ip/rstmgr/dv/env/seq_lib/rstmgr_smoke_vseq.sv b/hw/ip/rstmgr/dv/env/seq_lib/rstmgr_smoke_vseq.sv
index 4120842..d3cc4d5 100644
--- a/hw/ip/rstmgr/dv/env/seq_lib/rstmgr_smoke_vseq.sv
+++ b/hw/ip/rstmgr/dv/env/seq_lib/rstmgr_smoke_vseq.sv
@@ -36,7 +36,7 @@
send_reset(pwrmgr_pkg::LowPwrEntry, rstreqs);
csr_rd_check(.ptr(ral.reset_info), .compare_value(32'h2),
.err_msg("Expected reset info to indicate low power"));
- check_alert_and_cpu_info_after_reset(alert_dump, cpu_dump, 1'b0);
+ check_alert_and_cpu_info_after_reset(alert_dump, cpu_dump, 1'b1);
// Clear reset_info register.
csr_wr(.ptr(ral.reset_info), .value('1));
@@ -64,7 +64,7 @@
send_ndm_reset();
csr_rd_check(.ptr(ral.reset_info), .compare_value(32'h4),
.err_msg("Expected reset_info to indicate ndm reset"));
- check_alert_and_cpu_info_after_reset(alert_dump, cpu_dump, 1'b0);
+ check_alert_and_cpu_info_after_reset(alert_dump, cpu_dump, 1'b1);
// Clear reset_info register.
csr_wr(.ptr(ral.reset_info), .value('1));