对于 Vivado IP 模式，RTL 自动验证不支持对接口上的阵列或结构体内的阵列执行多次变换。
重要：
Vitis 内核流程不支持该功能特性。
为了执行自动验证，函数接口上的阵列或者函数接口上的结构体内的阵列可使用以下任一最优化，但不得同时使用 2 种或 2 种以上最优化操作：
- 对相同大小的阵列执行垂直映射
- 重塑
- 分区（适用于阵列的维度 1）
RTL 自动验证不支持对顶层函数接口使用下列任一最优化：
- 水平映射。
- 对不同大小的阵列执行垂直映射。
- 对已启用寄存器切片 (slice) 的 AXI4‑Stream 执行条件访问。
- 将阵列映射到串流。