With the -assert synthesis option, assert statements are supported.
CAUTION:
Be careful while using asserts. Vivado can only support static asserts that do not create
or are created by behavior. For example, performing as assert on a value of a constant
or an operator/generic works. However, as an asset on the value of a signal inside an if
statement does not work.