diff --git a/hw/top_darjeeling/ip/soc_proxy/rtl/soc_proxy.sv b/hw/top_darjeeling/ip/soc_proxy/rtl/soc_proxy.sv index bf7ec94a34af8..a6a8728935fb2 100644 --- a/hw/top_darjeeling/ip/soc_proxy/rtl/soc_proxy.sv +++ b/hw/top_darjeeling/ip/soc_proxy/rtl/soc_proxy.sv @@ -443,6 +443,12 @@ module soc_proxy i2c_lsio_trigger_sync }; + // All outputs should be known value after reset + `ASSERT_KNOWN(AlertsKnown_A, alert_tx_o) + `ASSERT_KNOWN(DmaLsioTriggerKnown_A, dma_lsio_trigger_o) + `ASSERT_KNOWN(CoreTlDValidKnownO_A, core_tl_d_o.d_valid) + `ASSERT_KNOWN(CoreTlAReadyKnownO_A, core_tl_d_o.a_ready) + // Assertions `ASSERT_PRIM_REG_WE_ONEHOT_ERROR_TRIGGER_ALERT(RegWeOnehotCheck_A, u_reg,