assert 文は、-assert 合成オプションによりサポートされます。 注意:アサーションを使用する場合は注意が必要です。Vivado では、動作を作成したり動作により作成されたりしないスタティック アサーションのみがサポートされます。たとえば、定数または演算子/ジェネリックの値に対するアサーションは機能しますが、if 文内の信号の値に対するアサーションは機能しません。