[hw,soc_proxy,rtl] Add ASSERT_KNOWN to new IP outputs

Signed-off-by: Robert Schilling <rschilling@rivosinc.com>
lowRISC · Jan 24, 2025 · 5abe5dc · 5abe5dc
1 parent 0a176eb
commit 5abe5dc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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,