xilinx-edk - XSDK 是否支持 Vivado HLS 任意精度类型？

Question

我在 HLS IPcore 中设计了一个函数，它处理任意精度类型的数组。我将该内核连接到 MICROBLAZE 处理器并生成比特流。

我在 SDK 中编写了 C 代码来初始化硬件 IP 核并编译代码。在 TERA TERMINAl 中，任意精度变量似乎不起作用。那么，XSDK 中是否支持 VIVADO HLS 任意精度类型？

谢谢