Skip to content

Commit 6c7ee86

Browse files
author
Yvan Tortorella
committed
Itroduce define to shut assertions down.
1 parent 0155fc3 commit 6c7ee86

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎src/apb_to_obi.sv‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -139,6 +139,7 @@ module apb_to_obi #(
139139
// Assertions
140140
// ----------
141141

142+
`ifdef OBI_ASSERT_ON
142143
`ASSERT(penable, obi_phase_q == RESP |-> apb_req_i.penable, clk_i, !rst_ni,
143144
"APB PENABLE must be asserted during OBI RESP phase!")
144145
`ASSERT_INIT(no_integrity, !ObiCfg.Integrity,
@@ -153,5 +154,6 @@ module apb_to_obi #(
153154
"RDATA width mismatch between APB and OBI ports!")
154155
`ASSERT_INIT(equal_addr_width, $bits(apb_req_i.paddr) == $bits(obi_req_o.a.addr),
155156
"Address width mismatch between APB and OBI ports!")
157+
`endif
156158

157159
endmodule

0 commit comments

Comments
 (0)