[dv/pwrmgr] Fix SVA assertion for spec changes
Expect all clocks off in deep sleep.
Signed-off-by: Guillermo Maturana <maturana@google.com>
diff --git a/hw/ip/pwrmgr/dv/sva/pwrmgr_clock_enables_sva_if.sv b/hw/ip/pwrmgr/dv/sva/pwrmgr_clock_enables_sva_if.sv
index a2daedb..d5c4165 100644
--- a/hw/ip/pwrmgr/dv/sva/pwrmgr_clock_enables_sva_if.sv
+++ b/hw/ip/pwrmgr/dv/sva/pwrmgr_clock_enables_sva_if.sv
@@ -51,9 +51,10 @@
`ASSERT(UsbClkActive_A, fast_is_active && $changed(usb_clk_en_active_i) |-> usbActiveTransition_S,
clk_i, reset_or_disable)
- `ASSERT(CoreClkPwrDown_A, transitionDown_S |=> core_clk_en == core_clk_en_i, clk_i,
+ `ASSERT(CoreClkPwrDown_A, transitionDown_S |=> core_clk_en == (core_clk_en_i && main_pd_ni),
+ clk_i, reset_or_disable)
+ `ASSERT(IoClkPwrDown_A, transitionDown_S |=> io_clk_en == (io_clk_en_i && main_pd_ni), clk_i,
reset_or_disable)
- `ASSERT(IoClkPwrDown_A, transitionDown_S |=> io_clk_en == io_clk_en_i, clk_i, reset_or_disable)
- `ASSERT(UsbClkPwrDown_A, transitionDown_S |=> usb_clk_en == (main_pd_ni & usb_clk_en_lp_i), clk_i,
- reset_or_disable)
+ `ASSERT(UsbClkPwrDown_A, transitionDown_S |=> usb_clk_en == (usb_clk_en_lp_i && main_pd_ni),
+ clk_i, reset_or_disable)
endinterface
