[prim,fpv] Tweak DataKnown_A assertion in prim_fifo_sync.sv

This doesn't change the meaning, but it means that we now use ASSERT_KNOWN_IF instead of explicitly talking about $isunknown. Doing so will allow FPV runs (that don't support $isunknown) to avoid needing to report unprocessed code. Signed-off-by: Rupert Swarbrick <[email protected]>
vogelpi · Sep 16, 2024 · 007358e · 007358e
1 parent ed77f96
commit 007358e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hw/ip/prim/rtl/prim_fifo_sync.sv b/hw/ip/prim/rtl/prim_fifo_sync.sv
@@ -148,7 +148,7 @@ module prim_fifo_sync #(
   // Known Assertions //
   //////////////////////
 
-  `ASSERT(DataKnown_A, rvalid_o |-> !$isunknown(rdata_o))
+  `ASSERT_KNOWN_IF(DataKnown_A, rdata_o, rvalid_o)
   `ASSERT_KNOWN(DepthKnown_A, depth_o)
   `ASSERT_KNOWN(RvalidKnown_A, rvalid_o)
   `ASSERT_KNOWN(WreadyKnown_A, wready_o)