Tengo un Zedboard e hice un bloque PL en Vivado HLS que devolverá millones de flotadores al DDR a través de un bloque DMA AXI, y esos resultados serán leídos por el PS desde la memoria.
El problema es que no puedo encontrar una manera de leer / escribir números de punto flotante en el DDR, ya que en Xilinx SDK las únicas funciones están basadas o son enteros (es decir, Xil_Out32 (..), Xil_In16 (..), etc.)
¿Cómo hago esto?