General Description: XST generates incorrect logic (without any warning) due to an incorrect support of array indices with the following form:
conv_integer (Signal) - Constant
For example, "T(conv_integer(Address) -1)" will fail.
This is due to the fact that XST considers an extra bit for the size of the expression "conv_integer (Signal) - Constant"; therefore, it is generating incorrect address logic.