TVM does support Xilinx FPGAs in many directions (e.g., VTA and BYOC), but I’m not familiar with hls4ml so I’m not sure if that works for the current implementation. cc @thierry @jtuyls