I'm trying to run a SDF annotated simulation without the timing checks in batch mode.
When I run it with timing checks it works and print timing checks messages (as expected).
However, adding the option "-notimingchecks" on xelab command it prints a bunch of
"WARNING: [XSIM 43-3486] Unable to locate information about setup construct between ports R and C for SDG instance counter_reg of module FDRE_default."
on different register and fails without any message (no error or anything).
Please use "-v 2" with xelab command to get more information.
If possible, please provide us your design to analyze it at our end.