Vivado IP モードでは、自動 RTL 検証でインターフェイス上の配列または構造体内の配列に複数の変換を実行する状況はサポートされません。
重要: この機能は Vitis カーネル フローではサポートされません。
自動検証が実行されるようにするには、関数インターフェイスの配列、または関数インターフェイスの構造体内の配列で次の最適化のいずれか 1 つのみを使用する必要があります。
- 同じサイズの配列の垂直マップ
- 再形成
- 分割 (配列の次元 1 に対して)
RTL 自動検証では、最上位関数インターフェイスで使用される次の最適化はサポートされません。
- 水平マップ。
- 異なるサイズの配列の垂直マップ。
- レジスタ スライスをイネーブルにした AXI4-Stream の条件付きアクセス。
- 配列のストリームへのマップ。