[dv] corresponding sva update for reset timing change
Signed-off-by: Timothy Chen <timothytim@google.com>
diff --git a/hw/ip/rstmgr/dv/sva/rstmgr_cascading_sva_if.sv b/hw/ip/rstmgr/dv/sva/rstmgr_cascading_sva_if.sv
index b3f091c..f916ce5 100644
--- a/hw/ip/rstmgr/dv/sva/rstmgr_cascading_sva_if.sv
+++ b/hw/ip/rstmgr/dv/sva/rstmgr_cascading_sva_if.sv
@@ -133,16 +133,16 @@
`CASCADED_ASSERTS(CascadeEffAonToRstPorIoDiv4, effective_aon_rst_n[0],
resets_o.rst_por_io_div4_n[0], SyncCycles, clk_io_div4_i)
- // The internal reset is triggered by one of the generated reset outputs.
- logic [rstmgr_pkg::PowerDomains-1:0] local_rst_n;
+ // The internal reset is triggered by one of synchronized por.
+ logic [rstmgr_pkg::PowerDomains-1:0] por_rst_n;
always_comb
- local_rst_n = {rstmgr_pkg::PowerDomains{resets_o.rst_por_io_div4_n[rstmgr_pkg::DomainAonSel]}};
+ por_rst_n = resets_o.rst_por_aon_n;
logic [rstmgr_pkg::PowerDomains-1:0] local_rst_or_lc_req_n;
- always_comb local_rst_or_lc_req_n = local_rst_n & ~rst_lc_req;
+ always_comb local_rst_or_lc_req_n = por_rst_n & ~rst_lc_req;
logic [rstmgr_pkg::PowerDomains-1:0] lc_rst_or_sys_req_n;
- always_comb lc_rst_or_sys_req_n = rst_lc_src_n & ~rst_sys_req;
+ always_comb lc_rst_or_sys_req_n = por_rst_n & ~rst_sys_req;
for (genvar pd = 0; pd < rstmgr_pkg::PowerDomains; ++pd) begin : g_power_domains
// The root lc reset is triggered either by the internal reset, or by the pwr_i.rst_lc_req
