I have the following code in VHDL including a signal clk_count whose range is defined as integer range 0 to 4.
This signal is going out of range at simulation. However, Vivado Simulator is not displaying any error message at the simulation stage.
Vivado Simulator does have a rangecheck option but it is disabled by default.
You will need to enable the rangecheck option in the simulation settings as shown in the below screen capture to turn on the error message.
After enabling the rangecheck option highlighted above, Vivado simulator stops when the value reaches 5 with the following error message:
Note: The rangecheck switch was disabled by default as it causes the compiler to generate extra code for the range check and slows down the simulation.
It is provided as an option which can be turned on in specific cases where you want the tool to perform rangecheck.