From 007358e2e92ee928564a4e8cde8b7e53c3537f38 Mon Sep 17 00:00:00 2001 From: Rupert Swarbrick Date: Tue, 3 Sep 2024 13:19:47 +0100 Subject: [PATCH] [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 --- hw/ip/prim/rtl/prim_fifo_sync.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw/ip/prim/rtl/prim_fifo_sync.sv b/hw/ip/prim/rtl/prim_fifo_sync.sv index 6fc3560cbea9c..c4c1ac429fd46 100644 --- 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)