From 6c7ee864172936dd6728c7352c4c65a905a2a133 Mon Sep 17 00:00:00 2001 From: Yvan Tortorella Date: Sun, 13 Jul 2025 12:42:00 +0200 Subject: [PATCH 1/2] Itroduce define to shut assertions down. --- src/apb_to_obi.sv | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/apb_to_obi.sv b/src/apb_to_obi.sv index f4811fb..e093866 100644 --- a/src/apb_to_obi.sv +++ b/src/apb_to_obi.sv @@ -139,6 +139,7 @@ module apb_to_obi #( // Assertions // ---------- +`ifdef OBI_ASSERT_ON `ASSERT(penable, obi_phase_q == RESP |-> apb_req_i.penable, clk_i, !rst_ni, "APB PENABLE must be asserted during OBI RESP phase!") `ASSERT_INIT(no_integrity, !ObiCfg.Integrity, @@ -153,5 +154,6 @@ module apb_to_obi #( "RDATA width mismatch between APB and OBI ports!") `ASSERT_INIT(equal_addr_width, $bits(apb_req_i.paddr) == $bits(obi_req_o.a.addr), "Address width mismatch between APB and OBI ports!") +`endif endmodule From 8a0b675fbd63c84fad630cad7cede8644eb8f495 Mon Sep 17 00:00:00 2001 From: Yvan Tortorella Date: Tue, 5 Aug 2025 18:55:39 +0200 Subject: [PATCH 2/2] Convert to `OBI_ASSERTS_OFF` to disable assertions on demand. --- src/apb_to_obi.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/apb_to_obi.sv b/src/apb_to_obi.sv index e093866..c761685 100644 --- a/src/apb_to_obi.sv +++ b/src/apb_to_obi.sv @@ -139,7 +139,7 @@ module apb_to_obi #( // Assertions // ---------- -`ifdef OBI_ASSERT_ON +`ifndef OBI_ASSERTS_OFF `ASSERT(penable, obi_phase_q == RESP |-> apb_req_i.penable, clk_i, !rst_ni, "APB PENABLE must be asserted during OBI RESP phase!") `ASSERT_INIT(no_integrity, !ObiCfg.Integrity,