Observed Behavior

Building ibex without INC_ASSERT define fails due to missing guard in ibex_core.sv.

Expected Behavior

Expecting core to elaborate without this define.

Steps to reproduce the issue

This assertion relies on logic only present in ibex_ex_block.sv when it is compiled with this assertion. If ex_block is compiled with the define, elaboration succeeds without issues.

My Environment

RHEL7 / Questa

Compiling source codes based on external filelists and Questa commands in makefile.

Version of the Ibex source code:

The issue is present in current master (53888bc), assertion was introduced by [rtl] Guard... merge.

Edit: Testing more locally

This seems to be more complex issue than I originally figured. Simply inserting guard ifdef does not fix the issue, Module seems to be inheriting the INC_ASSERT define from somewhere (and the ex_block does not). Probably from includes that define the macros, but I did not investigate that too much yet.

Alternative is to use the SYNTHESIS define which of course disables all assertions.