How can I change where the `ifndef SYNTHESIS inside the TLMonitors are defined?

[Kevin99214]

Hello,

I have been looking at the TLMonitors. The generated RTL has assertions that call $error or $fatal are wrapped in a ifndef SYNTHESIS block. There is comb/seq logic around the ifndef block to support the assertions.

I would like to keep the monitors during simulation to be able to catch any sort of potential bugs but also increase the ifndef block to cover all the contents of TLMonitor. Since the comb/seq logic is just there to support the assertions, if the assertions get ifndef-ed away, the logic around it should be ifndef-ed away as well.

Does anyone know what I would have to do to make this sort of change? I don't want to useWithoutTLMonitors since I still want the monitors around for simulation.